Buggy code:
public class ViewOptionPane extends AbstractOptionPane { public ViewOptionPane ( ) { } protected void _init ( ) { layoutIcon1 = GUIUtilities . loadIcon ( "dock_layout1.png" ) ; layoutIcon2 = GUIUtilities . loadIcon ( "dock_layout2.png" ) ; layoutIcon3 = GUIUtilities . loadIcon ( "dock_layout3.png" ) ; layoutIcon4 = GUIUtilities . loadIcon ( "dock_layout4.png" ) ; JPanel layoutPanel = new JPanel ( new BorderLayout ( 12 , 12 ) ) ; if ( jEdit . getBooleanProperty ( "view.docking.alternateLayout" ) ) { layout = new JLabel ( ( jEdit . getBooleanProperty ( "view.toolbar.alternateLayout" ) ? layoutIcon4 : layoutIcon2 ) ) ; } else { layout = new JLabel ( ( jEdit . getBooleanProperty ( "view.toolbar.alternateLayout" ) ? layoutIcon3 : layoutIcon1 ) ) ; } layout . setBorder ( new EmptyBorder ( 12 , 12 , 12 , 12 ) ) ; layoutPanel . add ( BorderLayout . CENTER , layout ) ; JPanel buttons = new JPanel ( new GridLayout ( 2 , 1 , 12 , 12 ) ) ; <START_BUG> buttons . setBorder ( new EmptyBorder ( 12 , 12 , 12 , 12 ) ) ; <END_BUG> buttons . add ( ( alternateDockingLayout = new JButton ( jEdit . getProperty ( "options.view.alternateDockingLayout" ) ) ) ) ; alternateDockingLayout . addActionListener ( new ViewOptionPane . ActionHandler ( ) ) ; buttons . add ( ( alternateToolBarLayout = new JButton ( jEdit . getProperty ( "options.view.alternateToolBarLayout" ) ) ) ) ; alternateToolBarLayout . addActionListener ( new ViewOptionPane . ActionHandler ( ) ) ; layoutPanel . add ( BorderLayout . SOUTH , buttons ) ; TitledBorder border = new TitledBorder ( jEdit . getProperty ( "options.view.viewLayout" ) ) ; border . setTitleJustification ( TitledBorder . CENTER ) ; layoutPanel . setBorder ( border ) ; addComponent ( layoutPanel ) ; showFullPath = new JCheckBox ( jEdit . getProperty ( "options.view.showFullPath" ) ) ; showFullPath . setSelected ( jEdit . getBooleanProperty ( "view.showFullPath" ) ) ; addComponent ( showFullPath ) ; showSearchbar = new JCheckBox ( jEdit . getProperty ( "options.view.showSearchbar" ) ) ; showSearchbar . setSelected ( jEdit . getBooleanProperty ( "view.showSearchbar" ) ) ; addComponent ( showSearchbar ) ; beepOnSearchAutoWrap = new JCheckBox ( jEdit . getProperty ( "options.view.beepOnSearchAutoWrap" ) ) ; beepOnSearchAutoWrap . setSelected ( jEdit . getBooleanProperty ( "search.beepOnSearchAutoWrap" ) ) ; addComponent ( beepOnSearchAutoWrap ) ; showBufferSwitcher = new JCheckBox ( jEdit . getProperty ( "options.view.showBufferSwitcher" ) ) ; showBufferSwitcher . setSelected ( jEdit . getBooleanProperty ( "view.showBufferSwitcher" ) ) ; addComponent ( showBufferSwitcher ) ; } protected void _save ( ) { } private JLabel layout ; private Icon layoutIcon1 ; private Icon layoutIcon2 ; private Icon layoutIcon3 ; private Icon layoutIcon4 ; private JButton alternateDockingLayout ; private JButton alternateToolBarLayout ; private JCheckBox showFullPath ; private JCheckBox showSearchbar ; private JCheckBox beepOnSearchAutoWrap ; private JCheckBox showBufferSwitcher ; class ActionHandler implements ActionListener { public void actionPerformed ( ActionEvent evt ) { } } }

Fix:
buttons . setBorder ( new EmptyBorder ( 0 , 12 , 12 , 12 ) ) ;