()
| 161 | |
| 162 | /* the modification date of the region file when it was first opened */ |
| 163 | public long lastModified() { |
| 164 | return this.lastModified; |
| 165 | } |
| 166 | |
| 167 | /* gets how much the region file has grown since it was last checked */ |
| 168 | public synchronized int getSizeDelta() { |