public void dumpInstruction(TabbedPrintWriter writer)
			throws java.io.IOException {
		if (!isEntered)
			writer.println("MISSING MONITORENTER");
		writer.print("synchronized (");
		if (object != null)
			object.dumpExpression(writer.EXPL_PAREN, writer);
		else
			writer.print(local.getName());
		writer.print(")");
		writer.openBrace();
		writer.tab();
		bodyBlock.dumpSource(writer);
		writer.untab();
		writer.closeBrace();
	}