#6339: Adding Push to Properties and JSP