Remote compilation of servlets on isd-si.doshisha.ac.jp
Servlet name (e.g., HelloWorld.java):
