Abstract Pathfinder (JPF extension)