Experiments with Non-Termination Analysis for Java Bytecode