A simple JMX Rest Servlet