Make programs treasury servlet use the correct JSP file; fixes #19