Read-only version of SmaCC configuration.
Merged the ConfigurationOfSmaCC from master