Added logging for Servlet.service time duration, better formatting for PerformanceProfiler