jruby/jruby — pull request #1602 by areman (2014-04-01 15:16:02+00:00)
Title: api for custom profiler

Changes to the build in profiler to make it possible to create custom profiler implmentations an plug them in into jruby.

For details see https://github.com/areman/jruby/wiki/Profiler-Changes