--- a/src/Tools/Graphview/shapes.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/shapes.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -11,8 +11,7 @@
 import isabelle._
 
 import java.awt.{BasicStroke, Graphics2D, Shape}
-import java.awt.geom.{AffineTransform, GeneralPath, Path2D, Rectangle2D,
-  RoundRectangle2D, PathIterator}
+import java.awt.geom.{AffineTransform, GeneralPath, Path2D, Rectangle2D, PathIterator}
 
 
 object Shapes {