Clean up JmxReporter a little.
Update contributors list.
Fix underline in servlets docs.