Java: extend definition of isCompilerGenerated for classes

java/ql/lib/semmle/code/java/Type.qll

@@ -702,6 +702,12 @@ class Class extends ClassOrInterface {
   /** Holds if this class is an implicit class (compact source file). */
   predicate isImplicit() { isImplicitClass(this.getSourceDeclaration()) }
 
+  /** Holds if this is an auxiliary program element generated by the compiler. */
+  override predicate isCompilerGenerated() {
+    super.isCompilerGenerated() or
+    this.isImplicit()
+  }
+
   /**
    * Gets an annotation that applies to this class.
    *