Git Guru b8d435235f fixed/removed unneeded change ...

@@ -1488,7 +1488,7 @@ void MethodDeclaration(int modifiers) :
 {jjtThis.setModifiers(modifiers);}
 {
   [ TypeParameters() ]
-  ResultType() MethodDeclarator() [ "throws" NameList() ]
+  [(Annotation() {checkForBadTypeAnnotations();})+] ResultType()
MethodDeclarator() [ "throws" NameList() ]

2017-06-01 10:13:29 +02:00

..

Java.jjt

fixed/removed unneeded change

2017-06-01 10:13:29 +02:00