ESC/Java annotations are expressed as Java language comments, which are ignored by the Java compiler. We will show how such annotations can be carried through the compilation process to be embedded in the Java byte code output from the compiler. These annotations will certify the good resource usage properties of the code with mathematically-checkable certainty.