Bug fixes for JSP interface.