Merge pull request #225 from csmith/master

Use lists not arrays.
Remover CertProblemListener.