fix https://github.com/angelozerr/tern.java/issues/138