more graphdb.properties documentation