Synchronize tern server when file is deleted. See
https://github.com/angelozerr/tern.java/issues/171#issuecomment-66769867