Switch to Java 7.
Major JGraLab Release 8.0.0 Hylonomus.
New TG format.