public JavaScriptRepositoryServlet(String mainRepositoryURI) { this.mainRepositoryURI = mainRepositoryURI;
public JavaScriptRepositoryServlet() {
    public JavaScriptRepositoryServlet(String mainRepositoryURI) {        this.mainRepositoryURI = mainRepositoryURI;    }