Index: trunk/patches/10trim_svgsalamander.patch
===================================================================
--- trunk/patches/10trim_svgsalamander.patch	(revision 7676)
+++ trunk/patches/10trim_svgsalamander.patch	(revision 8083)
@@ -19,7 +19,8 @@
 Only in kitfox/svg/app: VersionDialog.java
 Only in kitfox/svg: SVGDisplayPanel.form
+Only in kitfox/svg: SVGDisplayPanel.java
 diff -ur kitfox/svg/SVGElement.java src/com/kitfox/svg/SVGElement.java
---- kitfox/svg/SVGElement.java	2014-10-30 11:31:46.229650244 +0100
-+++ src/com/kitfox/svg/SVGElement.java	2014-10-29 23:30:19.882171106 +0100
+--- kitfox/svg/SVGElement.java	2015-02-18 15:16:19.968664918 +0100
++++ src/com/kitfox/svg/SVGElement.java	2015-02-18 15:25:38.763435836 +0100
 @@ -35,9 +35,6 @@
   */
@@ -246,6 +247,6 @@
          {
 diff -ur kitfox/svg/SVGLoaderHelper.java src/com/kitfox/svg/SVGLoaderHelper.java
---- kitfox/svg/SVGLoaderHelper.java	2014-10-29 22:49:38.193473772 +0100
-+++ src/com/kitfox/svg/SVGLoaderHelper.java	2014-10-29 22:54:17.671385584 +0100
+--- kitfox/svg/SVGLoaderHelper.java	2015-02-18 15:16:20.160665871 +0100
++++ src/com/kitfox/svg/SVGLoaderHelper.java	2015-02-18 15:25:38.763435836 +0100
 @@ -37,9 +37,6 @@
  package com.kitfox.svg;
@@ -271,6 +272,6 @@
      public SVGLoaderHelper(URI xmlBase, SVGUniverse universe, SVGDiagram diagram)
 diff -ur kitfox/svg/SVGLoader.java src/com/kitfox/svg/SVGLoader.java
---- kitfox/svg/SVGLoader.java	2014-10-29 22:49:38.193473772 +0100
-+++ src/com/kitfox/svg/SVGLoader.java	2014-10-29 22:53:56.462392128 +0100
+--- kitfox/svg/SVGLoader.java	2015-02-18 15:16:20.188666018 +0100
++++ src/com/kitfox/svg/SVGLoader.java	2015-02-18 15:25:38.763435836 +0100
 @@ -42,7 +42,6 @@
  import org.xml.sax.*;