> 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)
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)