Java Servlet 3 extension for tree-based HTTP server-applications