A mini-profiler for the Google App Engine Java runtime