From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode