update jdt.core to v_B51 (candidate for M7)
diff --git a/org.eclipse.jdt.core/grammar/java.g b/org.eclipse.jdt.core/grammar/java.g
index aafde92..3c49736 100644
--- a/org.eclipse.jdt.core/grammar/java.g
+++ b/org.eclipse.jdt.core/grammar/java.g
@@ -429,10 +429,18 @@
Header2 -> EnumConstantHeader
/:$readableName Header2:/
-CatchHeader ::= 'catch' '(' FormalParameter ')' '{'
+CatchHeader ::= 'catch' '(' CatchFormalParameter ')' '{'
/.$putCase consumeCatchHeader(); $break ./
/:$readableName CatchHeader:/
+CatchFormalParameter ::= Modifiersopt Type VariableDeclaratorId
+/.$putCase consumeCatchFormalParameter(false); $break ./
+CatchFormalParameter ::= Modifiersopt Type '...' VariableDeclaratorId
+/.$putCase consumeCatchFormalParameter(true); $break ./
+/:$readableName FormalParameter:/
+/:$compliance 1.5:/
+/:$recovery_template Identifier Identifier:/
+
ImportDeclarations -> ImportDeclaration
ImportDeclarations ::= ImportDeclarations ImportDeclaration
/.$putCase consumeImportDeclarations(); $break ./
@@ -1558,7 +1566,7 @@
/.$putCase consumeCatches(); $break ./
/:$readableName Catches:/
-CatchClause ::= 'catch' '(' FormalParameter ')' Block
+CatchClause ::= 'catch' '(' CatchFormalParameter ')' Block
/.$putCase consumeStatementCatch() ; $break ./
/:$readableName CatchClause:/