java: stype is obsoleted by api.value.type
authorAkim Demaille <akim@lrde.epita.fr>
Mon, 31 Dec 2012 10:13:50 +0000 (11:13 +0100)
committerAkim Demaille <akim@lrde.epita.fr>
Mon, 31 Dec 2012 15:32:12 +0000 (16:32 +0100)
commit4119d1ea60b56e73606fa2c6404c573be3ea3112
treeca4137ce76a0290caa43dcacbe5997b893ead7d7
parentbdcbadbe37b4e36a834ee5250bf20a28c137347c
java: stype is obsoleted by api.value.type

This is consistent with the other %define variable names.

* data/java.m4: Use api.value.type instead of stype.
* doc/bison.texi, NEWS: Document that change.
* src/muscle-tab.c (muscle_percent_variable_update): Provide backward
compatibility.
* tests/java.at: Adjust.
NEWS
data/java.m4
doc/bison.texi
src/muscle-tab.c
tests/java.at