[MIN] IntelliJ IDEA updates
[FIX] Fixes triggered by IntelliJ IDEA analysis
Version 7.5 (December 21, 2012)

XQUERY UPDATE
- bulk updates are now much faster than before
- insert and replace operations take much less memory
- databases can now be created via XQuery and db:create()

GUI TEXT EDITOR
- a fast and flexible search/replace panel has been added
- error highlighting has been extended to XML files
- the editor was improved for editing arbitrary text files

XQUERY 3.0
- the code has been aligned with latest changes in the specs
- HTML5 support has been updated

WEB APPLICATIONS
- new modules have been added: Request, Session, Sessions
- logging has been revised and extended to HTTP requests
- SSL support added, switched to Jetty 8
- all operation modes have been unified and simplified
- RESTXQ elements added to simplify forwarding and redirects

CORE FEATURES
- improved stability of concurrent read/write operations
- the INSPECT command performs database sanity checks
- EXECUTE triggers the execution of command scripts
[MOD] Switched to 7.5.1-SNAPSHOT
[MIN] XMLDB, examples: comments added
[MIN] Checkstyle updated to latest version of eclipse-cs
[MIN core preference file updated]
[MOD] Switched to 7.6 beta
Version 7.6 (February 8, 2013)
Switched to 7.6.1-SNAPSHOT
[MOD] Year updated: 2012 -> 2013