A flexible Java profiler

To be done