b2program

in Java for non-caching mode
(the use of the string builder to display the counter example
is still a bit ugly and should include the step number,
for non-caching mode also the name of the transition
is not displayed, probably because it is not stored)

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>