unique file path and file name in PeerDB/PeerHSQLDB.java