Set the last known modification time, so that we're not re-firing "hey, this is modified!" events incessantly.
()
| 355 | * "hey, this is modified!" events incessantly. |
| 356 | */ |
| 357 | public void setLastModified() { |
| 358 | lastModified = file.lastModified(); |
| 359 | } |
| 360 | |
| 361 | |
| 362 | /** |