Synchronize indexed files of tern file manager. See
https://github.com/angelozerr/tern.java/issues/3