// despite calculations seemed to show that there is enough memory for the table AND the index
// there is now not enough memory left for the index. So delete the table again to free the memory
// for the index
System.out.println("*** DEBUG "+tablefile+": not enough RAM ("+(serverMemory.available()/1024/1024)+"MB) left for index, deleting allocated table space to enable index space allocation (needed: "+(neededRAM4index/1024/1024)+"MB)");
table=null;System.gc();
System.out.println("*** DEBUG "+tablefile+": RAM after releasing the table: "+(serverMemory.available()/1024/1024)+"MB");