public void visitMonitorStmt(final MonitorStmt stmt) {
		if (stmt.kind() == MonitorStmt.ENTER) {
			print("enter ");
		} else {
			print("exit ");
		}

		print("monitor (");

		if (stmt.object() != null) {
			stmt.object().visit(this);
		}

		println(")");
	}