Community
Participate
Working Groups
return getElementName() + Util.defaultJavaExtension();
}
} else {
return new String(sourceFileName);
int index = CharOperation.lastIndexOf('/', sourceFileName);
return new String(sourceFileName, index + 1, sourceFileName.length - index - 1);
/*