I'd like to push the first patch to master, branch-2.5, and branch-2.4.2 in order to formally deprecate YYFAIL.
I'm fine with removing it at once from the Java parser, and I think that breaking YYFAIL now for %error-verbose is fine too. However, I'm afraid that without verbose errors we should keep it indefinitely though undocumented, so there's probably no point in warning.
Paolo
