Deterministic Java Profiler