[FIX] Check: newData() added to trigger correct GUI behavior
[MOD] Switched to 7.5 RC2
[FIX] XQuery, avoid OOM for large filtered sequences, e.g.:
      (1 to 100000000)[last()-1]
[MOD] Switched to 7.5 RC3
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
[FIX] HTML Options: public declaration of HTMLProp class
[MOD] Enable repeated running of Locking tests
[FIX] Different fixes to new Database Locking
[ADD] Core, Locking: Global database locking
[ADD] Core, Locking: Display locking information

Display locking information in query info if DBLOCKING is enabled.
[MOD] Database locking: minor rewritings