E get() { if (value != null) return value; try { value = db.fetch(recid, serializer); } catch (IOException e) { throw new IOError(e); } return value; }
void delete() { try { db.delete(recid); } catch (IOException e) { throw new IOError(e); } value = null; serializer = null; db = null; }