> 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)
P. Hitzler, und M. Krötzsch. Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006), Volume 4068 von Lecture Notes in Computer Science, Seite 260-273. Springer, (2006)