void (java.io.ObjectOutputStream str) { new <warning descr="Non-serializable anonymous class derived from 'Object' defines 'readObject()'">Object</warning>() { void readObject(java.io.ObjectInputStream x) {} }; }