@@ -778,11 +778,14 @@ else return fullname.toString(); } public Name getQualifiedName() { + if (fullname != null) return fullname; + else // Anonymous classes have an empty name. + return name.table.fromString(""); } public Name flatName() { return flatname; }