Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting