+ File newarena = new File(path);
+ if (newarena.isDirectory() && newarena.canRead() && newarena.canWrite()) {
+ sessionArena = newarena;
+ } else {
+ sessionArena = null;
+ throw(new IOException("Cannot read and write to a directory called "+path));
+ }