docs: protected String getLanguageSimpleName() {
  		final String name = getGrammar().getName();
  		final int index = name.lastIndexOf('.');
  		if (index > 0) {
  			return name.substring(index + 1);
  		}
  		return name;
  	}