public Java.NamedClassDeclaration parseClassDeclarationRest(
String optionalDocComment,
short modifiers,
ClassDeclarationContext context
) throws CompileException, IOException {
Location location = this.location();
String className = this.readIdentifier();
this.verifyIdentifierIsConventionalClassOrInterfaceName(className, location);
Java.ReferenceType optionalExtendedType = null;
if (this.peekKeyword("extends")) {