Reformatted code a bit
First round: added localhost check, started with user authentication verification.
Extended servlet with token functionality
corrected name of file
Merge branch 'develop' of github.com:eXist-db/exist into feature/secure_jmx_servlet
Improve security of JMXservlet
- localhost is always allowed
- token can be provided
- check for session (e.g. for Monex) so a logged in(=authorized) user can use the application
Small refactoring
Small refactorings
Made reference to data directory more servlet like; review comments by DS.
Merge pull request #231 from dizzzz/feature/secure_jmx_servlet

Improve security of JMX servlet
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
Merge branch 'feature/improve_jmx_code_base' into develop
Merge branch 'develop' of github.com:eXist-db/exist into develop
[performance] Consistency checks take too long when creating backup on large db: by default, consistency check will now only test if a document's data can be read. Extended checks, which will traverse every document to test for DOM errors, can be enabled via a parameter. To reduce IO, documents are now accessed in the order they are stored in dom.dbx (makes the checks 3 times faster).
Merge pull request #235 from wolfgangmm/develop

Fix performance of consistency check and export