Implementation note for JDK classes (e.g. HashMap): Even if we allow final methods we might not be able to create a proxy correctly - there are methods using package-private classes (e.g. HashMap.newNode()) and the generated proxy class is not allowed to use package name starting with the identifier java (reserved for JDK and throws SecurityException at runtime).