DevBoost/JaMoPP — pull request #12 by BenjaminKlatt (2013-12-31 06:50:24+00:00)
Title: Performance optimization for JavaGrammarInformationProvider

This pull request fixes #11 by switching the JavaGrammarInformationProvider to a not-generated class and using caches for syntax element handling