Read Me

To compile PUB-Web:
- build sources "src" (output dir "bin"), e.g. using Eclipse IDE
- run PadMig compiler using mkmig.bat (output dir "spooned")
  note: the PadMig compiler currently only works using Java 7, i.e. java.exe in mkmig.bat
        needs to be no later than JDK/JRE 7. However, this does ONLY affect this compilation
        (source transformation) step -- the generated code, and thus PUB-Web itself can
        run on any recent Java installtion
        Old JDK/JRE are available via the Oracle Archive: http://www.oracle.com/technetwork/java/archive-139210.html
- build transformed (migratable) sources using make-spooned.bat (output dir "bin-spooned")
- create jar file using mkjar.bat

To compile PUB-Web examples programs:
- build sources "src-eg" (output dir "bin-eg"), e.g. using Eclipse IDE
- run PadMig compiler using mkmig-eg.bat (output dir "spooned-eg")
  note: see note above
- build transformed (migratable) sources using make-spooned-eg.bat (output dir "bin-spooned-eg")
- create jar file using mkjar-eg.bat