> MICROSOFT JSCRIPT COMPILATION ERROR
MS java script engine to parse the config script.
This sounds like an error message from there.
To fix this, you could use the Java Control Panel to set the proxy directly, or change the setting in the browser.
M. de Marneffe, C. Manning, und C. Potts. Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics, Seite 167--176. Stroudsburg, PA, USA, Association for Computational Linguistics, (2010)