/EIFGENs$ /.svn$ /CVS$ /examples$ ^/jimple_generation$ ^/utilities$ ^/spec_generation$ ^/logic_and_abstraction$ ^/jstar_interaction$