TextBuffer (int indent, BytecodeMappingTracer tracer) { tracer.addMapping(bytecode); if (monType == MONITOR_ENTER) { return value.toJava(indent, tracer).enclose("synchronized(", ")"); } else { return new TextBuffer(); } }