Control: tags -1 pending On 5/17/22 13:27, Emmanuel Bourg wrote: > This can be fixed by building with the javacc5 package instead of javacc Thanks for this workaround, I'll use that for the time being. Kind Regards, Bas -- GPG Key ID: 4096R/6750F10AE88D4AF1 Fingerprint: 8182 DE41 7056 408D 6146 50D1 6750 F10A E88D 4AF1