OverviewOptionPane.java: org.gjt.sp.jedit.options
IndentFoldHandler.java: org.gjt.sp.jedit.buffer
OpenWithEncodingMenu.java: org.gjt.sp.jedit.gui
ExplicitFoldHandler.java: org.gjt.sp.jedit.buffer
FontSelector.java: org.gjt.sp.jedit.gui
