}
public char[] getFileName() {
return className.toCharArray();
return sourceFile.toCharArray();
public char[] getContents() {