Revize b3264653

#re#7832 Output Deserializer format done

demo_jh/Deserializer_tests/src/samples/ok/SimpleChild.java

@@ -1 +1 @@
 package samples.ok;
 
-public class SimpleChild extends Simple {
+import java.io.Serializable;
+
+public class SimpleChild implements Serializable {
     String navic = "AHOJ, jsem tu navic";
 }