java-doc for Profiler