A Java Servlet platform for XProc web proxying (and other) applications