Merge branch 'feature/secure_jmx_servlet' into develop
Merge branch 'develop' of github.com:eXist-db/exist into develop
Improvement of JMX-management code
Added some Java7 instruments
Made code in sync with Java7
Updated code after codereview input on GitHub Tracker.
Small code change, input review DS
Merge pull request #234 from dizzzz/feature/improve_jmx_code_base

Feature/improve jmx code base