return new PathConfig(getCommandLocsOption("src"),
getCommandLocsOption("lib"),
getCommandLocOption("bin"),
getCommandLocOption("boot"),
getCommandLocsOption("courses"),
<BUG>getCommandLocsOption("javaCompilerPath"));

}</BUG>
public CommandOptions noModuleArgument() {
return this;

return new PathConfig(getCommandLocsOption("src"),
getCommandLocsOption("lib"),
getCommandLocOption("bin"),
getCommandLocOption("boot"),
getCommandLocsOption("courses"),
getCommandLocsOption("javaCompilerPath"),
getCommandLocsOption("classloaders"));
}
public CommandOptions noModuleArgument() {
return this;
