jruby/jruby — pull request #735 by grddev (2013-05-14 14:25:09+00:00)
Title: Synchronize profile printing.

This avoids interleaving/garbling of profiles from multiple threads.