rev 51258 : imported patch switch.diff
@@ -311,11 +311,11 @@ result = sr; } public void visitCase(JCCase tree) { SourceRange sr = new SourceRange(startPos(tree), endPos(tree)); - sr.mergeWith(csp(tree.pat)); + sr.mergeWith(csp(tree.pats)); sr.mergeWith(csp(tree.stats)); result = sr; } public void visitSynchronized(JCSynchronized tree) {