This work includes portions extracted from the MultiMiniJ project web
site ( http://multiminij.sablecc.org ).