@Override
public void visitCaseStatement(final CaseStatement statement) {
pushContext(statement);
super.visitCaseStatement(statement);
popContext();
}
@Override
public final void visitCaseStatement(CaseStatement statement) {
super.visitCaseStatement(statement);
}