docs: protected void destroyClassLoader(ClassLoader classLoader) {
  		if (classLoader instanceof Closeable) {
  			try {
  				((Closeable) classLoader).close();
  			} catch (Exception e) {
  				reportInternalWarning(Messages.SarlBatchCompiler_18, e);
  			}
  		}
  	}