Update to NuoDB 1.2