Use TernDoc#delFile. See
https://github.com/angelozerr/tern.java/issues/171