# HG changeset patch
# User wenzelm
# Date 1420117548 -3600
# Node ID d1e233b4125b97da5065c3ff0307f31dd8fc9efe
# Parent  74798d216b1f8854279e6326e093b134203c6f58
tuned imports;

diff -r 74798d216b1f -r d1e233b4125b 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