JML bugfixes
removed debug output