From c70cac8ad0ff3912f949f9479987b28455c5b8d1 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 10 Feb 2012 10:58:20 +0000 Subject: [PATCH] Remove un-needed import (breaks some compilers). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4570 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/model/GUIMultiModelHandler.java | 2 -- 1 file changed, 2 deletions(-) diff --git a/prism/src/userinterface/model/GUIMultiModelHandler.java b/prism/src/userinterface/model/GUIMultiModelHandler.java index 7f382d64..4c459434 100644 --- a/prism/src/userinterface/model/GUIMultiModelHandler.java +++ b/prism/src/userinterface/model/GUIMultiModelHandler.java @@ -30,8 +30,6 @@ package userinterface.model; import javax.swing.*; import javax.swing.border.*; -import com.sun.tools.internal.ws.wsdl.document.jaxws.Exception; - import java.awt.*; import java.io.*; import parser.*;