A Termination Analyzer for Java Bytecode based on Path-Length