> 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.
P. Cimiano, P. Haase, and J. Heizmann. Proceedings of IUI '07: 12th International Conference on Intelligent User Interfaces, Honolulu, HI, USA, page 180-189. (2007)
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)
M. Denecke, and N. Yasuda. Recent Trends in Discourse and Dialogue, volume 39 of Text, Speech and Language Technology, chapter 9, Springer, Dordrecht, (2008)