JUnit sel2 suite exporter. IO bugfixes.