tuned imports;
authorwenzelm
Thu, 01 Jan 2015 14:05:48 +0100
changeset 59223 d1e233b4125b
parent 59222 74798d216b1f
child 59224 e3f90d5c0006
tuned imports;
src/Tools/Graphview/mutator_dialog.scala
--- 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