Uses of Class
org.jedit.keymap.KeymapManager.State