> 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, and C. Potts. Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics, page 167--176. Stroudsburg, PA, USA, Association for Computational Linguistics, (2010)
P. Hitzler, and M. Krötzsch. Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006), volume 4068 of Lecture Notes in Computer Science, page 260-273. Springer, (2006)