--- a/src/Tools/Graphview/mutator_dialog.scala Thu Jan 01 14:02:28 2015 +0100
+++ b/src/Tools/Graphview/mutator_dialog.scala Thu Jan 01 14:05:48 2015 +0100
@@ -13,7 +13,6 @@
import java.awt.FocusTraversalPolicy
import javax.swing.JColorChooser
import javax.swing.border.EmptyBorder
-import scala.collection.JavaConversions._
import scala.swing.{Dialog, Button, BoxPanel, Swing, Orientation, ComboBox, Action,
Dimension, BorderPanel, ScrollPane, Label, CheckBox, Alignment, Component, TextField}
import scala.swing.event.ValueChanged