JOP: a Java Optimized Processor