> 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.
I. Podgorny, M. Cannon, and T. Goodyear. Proceedings of the 18th ACM Conference Companion on Computer Supported Cooperative Work and Social Computing (CSCW '15 Companion), Vancouver, Canada, page 143--146. New York, ACM, (2015)
B. Sacaleanu, G. Neumann, and C. Spurk. Evaluating Systems for Multilingual and Multimodal Information Access: 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, volume 5706 of Lecture Notes in Computer Science, Springer, Berlin, (2009)