Program: 160680
Project: 160680
Buggy source:
@Override public boolean write(OutputStream out) throws SerializerException {
  if (getMode() == Mode.BODY) {
    try {
      ifcEngine=getPluginManager().requireIfcEngine().createIfcEngine();
    }
 catch (    PluginException e) {
      throw new SerializerException(e);
    }
    JsWriter writer=new JsWriter(out);
    try {
      writeAssets(writer);
      writer.writeln("String_Node_Str");
      writer.indent();
      writer.writeln("String_Node_Str");
      writer.writeln("String_Node_Str");
      writer.writeln("String_Node_Str");
      writer.writeln("String_Node_Str");
      writer.writeln("String_Node_Str");
      writer.indent();
      writer.writeln("String_Node_Str");
      writer.indent();
      writer.unindent();
      writer.writeln("String_Node_Str");
      writer.unindent();
      writer.writeln("String_Node_Str");
      writer.indent();
      writer.writeln("String_Node_Str");
      writer.indent();
      writer.writeln("String_Node_Str");
      writer.writeln("String_Node_Str");
      writer.indent();
      writeMaterials(writer);
      writeGeometries(writer);
      writer.unindent();
      writer.writeln("String_Node_Str");
      writer.unindent();
      writer.writeln("String_Node_Str");
      writeCameras(writer);
      writeLights(writer);
      writeVisualScenes(writer);
      writer.unindent();
      writer.writeln("String_Node_Str");
      writer.unindent();
      writer.writeln("String_Node_Str");
      writer.flush();
    }
 catch (    Exception e) {
      LOGGER.error("String_Node_Str",e);
    }
    writer.flush();
    setMode(Mode.FINISHED);
    ifcEngine.close();
    return true;
  }
 else   if (getMode() == Mode.FINISHED) {
    return false;
  }
  return false;
}

Fixed version (ground truth):
@Override public boolean write(OutputStream out) throws SerializerException {
  if (getMode() == Mode.BODY) {
    try {
      ifcEngine=getPluginManager().requireIfcEngine().createIfcEngine();
    }
 catch (    PluginException e) {
      throw new SerializerException(e);
    }
    JsWriter writer=new JsWriter(out);
    try {
      writeAssets(writer);
      writer.writeln("String_Node_Str");
      writer.indent();
      writer.writeln("String_Node_Str");
      writer.writeln("String_Node_Str");
      writer.writeln("String_Node_Str");
      writer.writeln("String_Node_Str");
      writer.writeln("String_Node_Str");
      writer.indent();
      writer.writeln("String_Node_Str");
      writer.writeln("String_Node_Str");
      writer.indent();
      writer.unindent();
      writer.writeln("String_Node_Str");
      writer.unindent();
      writer.writeln("String_Node_Str");
      writer.indent();
      writer.writeln("String_Node_Str");
      writer.indent();
      writer.writeln("String_Node_Str");
      writer.writeln("String_Node_Str");
      writer.indent();
      writeMaterials(writer);
      writeGeometries(writer);
      writer.unindent();
      writer.writeln("String_Node_Str");
      writer.unindent();
      writer.writeln("String_Node_Str");
      writeCameras(writer);
      writeLights(writer);
      writeVisualScenes(writer);
      writer.unindent();
      writer.writeln("String_Node_Str");
      writer.unindent();
      writer.writeln("String_Node_Str");
      writer.flush();
    }
 catch (    Exception e) {
      LOGGER.error("String_Node_Str",e);
    }
    writer.flush();
    setMode(Mode.FINISHED);
    ifcEngine.close();
    return true;
  }
 else   if (getMode() == Mode.FINISHED) {
    return false;
  }
  return false;
}