Merge pull request #204 from wolfgangmm/develop

Range index performance improvements
Merge pull request #205 from wolfgangmm/develop

[bugfix] general comparisons: internal property is overwritten,
Change API to allow construction

try ( Transaction tx = broker.beginTx() )
{
    // operations on database
    
    tx.success();
}
Change API to allow construction

try ( DBBroker broker = db.authenticate("user", "passwd") )
{
    // operations on database
    
    DBBroker activeBroker = db.getActiveBroker();
    
    //broker == activeBroker
}
Merge branch 'develop' of https://github.com/shabanovd/exist into
develop
Revert "Merge branch 'develop' of https://github.com/shabanovd/exist into"

This reverts commit 46013f7134dbeaf9f2142109ce0447c13192cc41, reversing
changes made to 57488337625564319421d7d8173d12e14f8905a6.
missing @Override
switch to java 7 compiler
Officially switch to Java7 to make use of all features introduced in that release.
Update .travis.yml

Java6 is now not supported anymore
Merge pull request #207 from dizzzz/feature/move_to_java7

Officially switch to Java7
Merge remote-tracking branch 'eXist/develop' into develop
Merge pull request #206 from shabanovd/develop

API change
Upgrade to aspectj-1.8 to support Java7; the jars are large, sorry.....
Merge pull request #208 from dizzzz/feature/upgrade_aspectj_to_support_java7

Upgrade to aspectj-1.8 to support Java7;
Update netbeans project files to use Java7
Move webdav-extension to Java7 style. Hinted by Netbeans. More simple and readable code.
More Java7 updates
Merge pull request #210 from dizzzz/feature/migrate_webdav_to_java7_style

Feature/migrate webdav to java7 style
Merge pull request #209 from dizzzz/develop

Migrate to Java7 : netbeans and webdav