A lightweight servlet-embedded JMX console