Summary of changes: 21ed96c... Fix JDBC connection string (*) 61efdb1... Fix dependencies (*) af0537d... Merge branch 'f14' into f13 (*) 28ad524... Merge branch 'master' into f13 (*) debe338... Stabilize on the tagged release. (*) (*) This commit already existed in another branch; no separate mail sent