Annotating the Java bytecodes in support of optimization