Fix problem for FileChangeListener #9