Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / jigedit / tools / ToolsLister.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigedit/tools/ToolsLister.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigedit/tools/ToolsLister.java
new file mode 100644 (file)
index 0000000..80954fb
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigedit/tools/ToolsLister.java
@@ -0,0 +1,21 @@
+// ToolsLister.java\r
+// $Id: ToolsLister.java,v 1.1 2010/06/15 12:29:39 smhuang Exp $\r
+// (c) COPYRIGHT MIT and INRIA, 1998.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.jigedit.tools;\r
+\r
+import org.w3c.tools.resources.FramedResource;\r
+\r
+public class ToolsLister extends FramedResource {\r
+\r
+    public void initialize(Object values[]) {\r
+       super.initialize(values);\r
+       try {\r
+           registerFrameIfNone("org.w3c.jigedit.tools.ToolsListerFrame",\r
+                               "toolslister-frame");\r
+       } catch (Exception ex) {\r
+           ex.printStackTrace();\r
+       }\r
+    }\r
+}\r