src/Tools/jEdit/src/theories_dockable.scala

 import scala.swing.{FlowPanel, Button, TextArea, Label, ListView, Alignment, ScrollPane, Component,
   BoxPanel, Orientation, RadioButton, ButtonGroup}
 import scala.swing.event.{ButtonClicked, MouseClicked}
 
 import java.lang.System
-import java.awt.{BorderLayout, Graphics2D, Insets, Color}
+import java.awt.{BorderLayout, Graphics2D, Insets}
 import javax.swing.{JList, BorderFactory}
-import javax.swing.border.{BevelBorder, SoftBevelBorder, LineBorder}
+import javax.swing.border.{BevelBorder, SoftBevelBorder}
 
 import org.gjt.sp.jedit.{View, jEdit}
 
 
 class Theories_Dockable(view: View, position: String) extends Dockable(view, position)

     private val b1 = button(PIDE.Execution_Range.ALL, "Check all theories (potentially slow)")
     private val b2 = button(PIDE.Execution_Range.NONE, "Check nothing")
     private val b3 = button(PIDE.Execution_Range.VISIBLE, "Check visible parts of theories")
     private val group = new ButtonGroup(b1, b2, b3)
     contents ++= List(label, b1, b2, b3)
-    border = new LineBorder(Color.GRAY)
+    border = new SoftBevelBorder(BevelBorder.LOWERED)
 
     def load()
     {
       PIDE.execution_range() match {
         case PIDE.Execution_Range.ALL => group.select(b1)