public void visitSwitchStmt(final SwitchStmt stmt) {
		final Set targets = new HashSet();

		targets.add(stmt.defaultTarget());

		for (int i = 0; i < stmt.targets().length; i++) {
			targets.add(stmt.targets()[i]);
		}

		targets.addAll(stmt.catchTargets());

		verifyTargets(stmt.block(), targets);

		visitNode(stmt);
	}