Author: alexsmirnov Date: 2008-04-03 20:04:53 -0400 (Thu, 03 Apr 2008) New Revision: 7592 Modified: trunk/ui/core/src/main/java/org/ajax4jsf/renderkit/html/AjaxPushRenderer.java Log: Fix Java 5 generics warning. Modified: trunk/ui/core/src/main/java/org/ajax4jsf/renderkit/html/AjaxPushRenderer.java =================================================================== --- trunk/ui/core/src/main/java/org/ajax4jsf/renderkit/html/AjaxPushRenderer.java 2008-04-03 21:53:56 UTC (rev 7591) +++ trunk/ui/core/src/main/java/org/ajax4jsf/renderkit/html/AjaxPushRenderer.java 2008-04-04 00:04:53 UTC (rev 7592) @@ -69,7 +69,7 @@ if(push.isEnabled()){ JSFunction function = AjaxRendererUtils.buildAjaxFunction(component, context, AJAX_PUSH_FUNCTION); // Set dummy form id, if nessesary. - Map options = AjaxRendererUtils.buildEventOptions(context, component); + Map<String, Object> options = AjaxRendererUtils.buildEventOptions(context, component); options.put("dummyForm", component.getClientId(context)+RendererUtils.DUMMY_FORM_ID); int interval = push.getInterval(); if(interval == Integer.MIN_VALUE){