example: profiling Java API with JMAPI in JRockit