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