@Override
public void visitSwitch(final SwitchStatement statement) {
pushContext(statement);
super.visitSwitch(statement);
popContext();
}
@Override
public final void visitSwitch(SwitchStatement statement) {
super.visitSwitch(statement);
}