} catch (IOException e) {
throw new RuntimeException(e);
}
}
javaFileManager = new JavaFileManagerImpl(fileManager, classLoader);
this.options = new ArrayList<String>();
if (options != null) { // make a save copy of input options
for (String option : options) {
this.options.add(option);
}