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
Merge remote-tracking branch 'eXist/develop' into develop
Merge pull request #206 from shabanovd/develop

API change