Merge migulorama pull request 58 for ANTLR global settings