//added
HttpsURIResolver https = new HttpsURIResolver();
resolverRegistry.registerInput(https);
CWDURIResolver cwd = new CWDURIResolver();
resolverRegistry.registerInputOutput(cwd);
ClassResourceInput library = new ClassResourceInput(resolverRegistry, "std", getClass(), "/org/rascalmpl/library");
resolverRegistry.registerInput(library);