Scripts used to interact with Eclipse with the Rhino JavaScript based EclipseScripts plugin