Update HyperGraphDB.java