removed ClassFile.sourceFile; use attributes.get() instead