diff --git a/contributors.txt b/contributors.txt index d18168b04..6e1d2ffdd 100644 --- a/contributors.txt +++ b/contributors.txt @@ -180,3 +180,4 @@ YYYY/MM/DD, github id, Full name, email 2017/12/03, oranoran, Oran Epelbaum, oran / epelbaum me 2017/12/20, kbsletten, Kyle Sletten, kbsletten@gmail.com 2017/12/27, jkmar, Jakub Marciniszyn, marciniszyn.jk@gmail.com +2018/02/11, io7m, Mark Raynsford, code@io7m.com diff --git a/runtime/Java/pom.xml b/runtime/Java/pom.xml index d7a393f76..c8163725d 100644 --- a/runtime/Java/pom.xml +++ b/runtime/Java/pom.xml @@ -96,6 +96,7 @@ process-classes + org.antlr.antlr4.runtime org.antlr.antlr4-runtime