java: use api.location.type and api.position.type
authorAkim Demaille <akim@lrde.epita.fr>
Fri, 12 Oct 2012 11:00:59 +0000 (13:00 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Fri, 12 Oct 2012 11:00:59 +0000 (13:00 +0200)
commit7287be84f10886ea3c38ac86da1d6642822b671e
tree386872ed30bba2f5ec845b9c17806b88c202caff
parente94ca80bbb9e2fe181a0c5376403113c4d3bc153
java: use api.location.type and api.position.type

* data/java.m4: here.
* NEWS, doc/bison.texi, tests/java.at: Adjust.
NEWS
data/java.m4
doc/bison.texi
tests/java.at