abc.eaj.util (J-LO, the Java Logical Observer, version 0.9.0)