@@ -213,10 +213,11 @@ } private boolean isValidMethodName(String s) { return isJavaIdentifier(s) || s.equals("<init>") || + s.equals("<vnew>") || s.equals("<clinit>"); } /* * Compare a method's argument types with a Vector of type names.