NEW - bug 244: Expose TLC statistics via Java management extensions (MXBeans)  https://bugzilla.tlaplus.net/show_bug.cgi?id=244 - Do not reset counters
NEW - bug 244: Expose TLC statistics via Java management extensions
(MXBeans) 
https://bugzilla.tlaplus.net/show_bug.cgi?id=244
- Do not reset counters
tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus