(new Date().hashCode()));
if (debug) {
System.out.println("*** new key is: " + key);
}
ResourceStoreManager rsm = getServer().getResourceStoreManager();
while (!rsm.checkKey(key)) {
// key = new Integer (key.intValue() ^ (int) Math.random());
key = new Integer ((int)((1.9 *(Math.random()-0.5)) *
Integer.MAX_VALUE));
if (debug) {