A Java Servlet platform for XSLT applications