if (classPath != null) {
for (String path : classPath.split(":")) {
result.add(vf.sourceLocation(new File(path).getAbsolutePath()));
}
}
<BUG>classPath = System.getProperty("rascal.class.path");
if (classPath != null) {
for (String path : classPath.split(":")) {
result.add(vf.sourceLocation(new File(path).getAbsolutePath()));
}
}</BUG>
return result;

if (classPath != null) {
for (String path : classPath.split(":")) {
result.add(vf.sourceLocation(new File(path).getAbsolutePath()));
