Code example for NotSerializableException

0
 */ 
class Vertex extends AbstractSingleWrapperState { 
  /* Boilerplate code to avoid serializing this class */ 
  private static final long serialVersionUID = 0xDEADBEEF;
  private void writeObject(java.io.ObjectOutputStream out) throws IOException {
    throw new NotSerializableException();
  } 
 
  private static int nextId = 0;
  private final int id = nextId++;
 
  private final Vertex parent;
  private final BooleanFormulaManager bfmgr;
 
  private final List<Vertex> children = new ArrayList<>(2);
 
  private BooleanFormula stateFormula;
 
  private Vertex coveredBy = null;
  private List<Vertex> coveredNodes = new ArrayList<>(0);