()
| 73 | } |
| 74 | |
| 75 | public boolean checkFile() throws IOException { |
| 76 | if (physicalFile == null) { |
| 77 | return false; |
| 78 | } |
| 79 | if (physicalFile.lastModified() != lastCheckTime) { |
| 80 | lastCheckTime = physicalFile.lastModified(); |
| 81 | refresh(); |
| 82 | return false; |
| 83 | } |
| 84 | return true; |
| 85 | } |
| 86 | |
| 87 | public void allocate() throws IOException { |
| 88 | if (!allocated) { |