From 62b006f64ee54f44cb42865cc942a7513ab574b1 Mon Sep 17 00:00:00 2001 From: benfry Date: Sat, 11 Nov 2006 15:37:06 +0000 Subject: [PATCH] minor tweaks and setting compile for java 1.1/1.3 --- svgreader/.settings/org.eclipse.jdt.core.prefs | 12 ++++++++++++ svgreader/.settings/org.eclipse.jdt.ui.prefs | 3 +++ svgreader/src/processing/svg/reader/SVG.java | 2 +- 3 files changed, 16 insertions(+), 1 deletion(-) create mode 100644 svgreader/.settings/org.eclipse.jdt.core.prefs create mode 100644 svgreader/.settings/org.eclipse.jdt.ui.prefs diff --git a/svgreader/.settings/org.eclipse.jdt.core.prefs b/svgreader/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 000000000..35f78d435 --- /dev/null +++ b/svgreader/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,12 @@ +#Sat Nov 11 10:35:15 EST 2006 +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.1 +org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve +org.eclipse.jdt.core.compiler.compliance=1.3 +org.eclipse.jdt.core.compiler.debug.lineNumber=generate +org.eclipse.jdt.core.compiler.debug.localVariable=generate +org.eclipse.jdt.core.compiler.debug.sourceFile=generate +org.eclipse.jdt.core.compiler.problem.assertIdentifier=ignore +org.eclipse.jdt.core.compiler.problem.enumIdentifier=ignore +org.eclipse.jdt.core.compiler.source=1.3 diff --git a/svgreader/.settings/org.eclipse.jdt.ui.prefs b/svgreader/.settings/org.eclipse.jdt.ui.prefs new file mode 100644 index 000000000..03b94fb20 --- /dev/null +++ b/svgreader/.settings/org.eclipse.jdt.ui.prefs @@ -0,0 +1,3 @@ +#Sat Nov 11 10:35:15 EST 2006 +eclipse.preferences.version=1 +internal.default.compliance=default diff --git a/svgreader/src/processing/svg/reader/SVG.java b/svgreader/src/processing/svg/reader/SVG.java index 8f9637a3d..1b0c57fe9 100755 --- a/svgreader/src/processing/svg/reader/SVG.java +++ b/svgreader/src/processing/svg/reader/SVG.java @@ -102,7 +102,7 @@ public class SVG { } */ if (!document.getName().equals("svg")) { - System.err.println("root isn't svg, it's " + document.getName()); + throw new RuntimeException("root isn't svg, it's " + document.getName()); } width = document.getFloatAttribute("width");