org.gjt.sp.jedit.menu.ReloadWithEncodingProvider.updateEveryTime()
org.gjt.sp.jedit.menu.ReloadWithEncodingProvider.update(JMenu)
org.gjt.sp.jedit.menu.ReloadWithEncodingProvider.actionPerformed(ActionEvent)