Added properties to control the xml encoding, transaction ID generation
and made the workbench java 1.6 complient.