diff --git a/contributors.txt b/contributors.txt index 898a6fddc..36235e327 100644 --- a/contributors.txt +++ b/contributors.txt @@ -182,5 +182,7 @@ YYYY/MM/DD, github id, Full name, email 2017/12/27, jkmar, Jakub Marciniszyn, marciniszyn.jk@gmail.com 2018/02/11, io7m, Mark Raynsford, code@io7m.com 2018/15/05, johnvanderholt, jan dillingh johnvanderholte@gmail.com +2018/05/23, srvance, Stephen Vance, steve@vance.com 2018/06/14, alecont, Alessandro Contenti, alecontenti@hotmail.com -2018/06/16, EternalPhane, Zongyuan Zuo, eternalphane@gmail.com +2018/05/15, johnvanderholt, jan dillingh johnvanderholte@gmail.com +2018/06/16, EternalPhane, Zongyuan Zuo, eternalphane@gmail.com \ No newline at end of file diff --git a/doc/releasing-antlr.md b/doc/releasing-antlr.md index e3ed7915b..239a57476 100644 --- a/doc/releasing-antlr.md +++ b/doc/releasing-antlr.md @@ -172,6 +172,7 @@ alias java='/Library/Java/JavaVirtualMachines/jdk1.7.0_21.jdk/Contents/Home/bin/ alias javac='/Library/Java/JavaVirtualMachines/jdk1.7.0_21.jdk/Contents/Home/bin/javac' alias javadoc='/Library/Java/JavaVirtualMachines/jdk1.7.0_21.jdk/Contents/Home/bin/javadoc' alias jar='/Library/Java/JavaVirtualMachines/jdk1.7.0_21.jdk/Contents/Home/bin/jar' +export JAVA_HOME=`/usr/libexec/java_home -v 1.7` ``` You should see 0x33 in generated .class files after 0xCAFEBABE; see [Java SE 7 = 51 (0x33 hex)](https://en.wikipedia.org/wiki/Java_class_file): diff --git a/tool/pom.xml b/tool/pom.xml index 78da0b47c..338cdd856 100644 --- a/tool/pom.xml +++ b/tool/pom.xml @@ -44,7 +44,7 @@ com.ibm.icu icu4j - 58.2 + 61.1