Le 11/12/2016 à 15:45, Benjamin Mesing a écrit : > I now see several options: > > * update javacc to 6 and create a javacc5 package, patching all the > packages which do not compile with 6.1.3 (requires a team effort) +1 for this solution. I can help switching the broken packages back to javacc5. Note that some packages probably work with javacc4, if we are lucky creating a new javacc5 package may not be necessary. Emmanuel Bourg