Fixes build issues due to move from ant to maven.

ROCS Version 1.3 adds support for IE9 and provides a new algorithm fo…

…r identifying semester databases published by the remote server.

ROCS version 1.2 after migration to git from svn.