Buggy code:
public class GutterOptionPane extends AbstractOptionPane { public GutterOptionPane ( ) { } public void _init ( ) { } public void _save ( ) { jEdit . setBooleanProperty ( "view.gutter.lineNumbers" , lineNumbersEnabled . isSelected ( ) ) ; jEdit . setFontProperty ( "view.gutter.font" , gutterFont . getFont ( ) ) ; jEdit . setColorProperty ( "view.gutter.fgColor" , gutterForeground . getSelectedColor ( ) ) ; jEdit . setColorProperty ( "view.gutter.bgColor" , gutterBackground . getSelectedColor ( ) ) ; jEdit . setBooleanProperty ( "view.gutter.highlightCurrentLine" , gutterCurrentLineHighlightEnabled . isSelected ( ) ) ; jEdit . setColorProperty ( "view.gutter.currentLineColor" , gutterCurrentLineHighlight . getSelectedColor ( ) ) ; jEdit . setProperty ( "view.gutter.highlightInterval" , gutterHighlightInterval . getText ( ) ) ; <START_BUG> jEdit . setColorProperty ( "view.gutter.highlightColor" , gutterCurrentLineHighlight . getSelectedColor ( ) ) ; <END_BUG> jEdit . setBooleanProperty ( "view.gutter.bracketHighlight" , gutterBracketHighlightEnabled . isSelected ( ) ) ; jEdit . setColorProperty ( "view.gutter.bracketColor" , gutterBracketHighlight . getSelectedColor ( ) ) ; jEdit . setBooleanProperty ( "view.gutter.markerHighlight" , gutterMarkerHighlightEnabled . isSelected ( ) ) ; jEdit . setColorProperty ( "view.gutter.markerColor" , gutterMarkerHighlight . getSelectedColor ( ) ) ; jEdit . setColorProperty ( "view.gutter.foldColor" , gutterFoldMarkers . getSelectedColor ( ) ) ; jEdit . setColorProperty ( "view.gutter.focusBorderColor" , gutterFocusBorder . getSelectedColor ( ) ) ; jEdit . setColorProperty ( "view.gutter.noFocusBorderColor" , gutterNoFocusBorder . getSelectedColor ( ) ) ; int c = GutterOptionPane . clickModifierKeys . length ; for ( int i = 0 ; i < c ; i ++ ) { int idx = gutterClickActions [ i ] . getSelectedIndex ( ) ; jEdit . setProperty ( ( "view.gutter." + ( GutterOptionPane . clickModifierKeys [ i ] ) ) , GutterOptionPane . clickActionKeys [ idx ] ) ; } } private FontSelector gutterFont ; private ColorWellButton gutterForeground ; private ColorWellButton gutterBackground ; private JTextField gutterBorderWidth ; private JTextField gutterHighlightInterval ; private ColorWellButton gutterHighlightColor ; private JComboBox gutterNumberAlignment ; private JCheckBox lineNumbersEnabled ; private JCheckBox gutterCurrentLineHighlightEnabled ; private ColorWellButton gutterCurrentLineHighlight ; private JCheckBox gutterBracketHighlightEnabled ; private ColorWellButton gutterBracketHighlight ; private JCheckBox gutterMarkerHighlightEnabled ; private ColorWellButton gutterMarkerHighlight ; private ColorWellButton gutterFoldMarkers ; private ColorWellButton gutterFocusBorder ; private ColorWellButton gutterNoFocusBorder ; private JComboBox [ ] gutterClickActions ; private static final String [ ] clickActionKeys = new String [ ] { "toggleFold" , "toggleFoldFully" , "selectFold" } ; private static final String [ ] clickModifierKeys = new String [ ] { "gutterClick" , "gutterShiftClick" , "gutterControlClick" , "gutterAltClick" } ; }

Fix:
jEdit . setColorProperty ( "view.gutter.highlightColor" , gutterHighlight . getSelectedColor ( ) ) ;