A Modular Worst-case Execution Time Analysis Tool for Java Processors