remove unnecessary annotations to calculate evalution numbers.

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3Decoder / Manager.java

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/Manager.java b/Robust/src/Benchmarks/SSJava/MP3Decoder/Manager.java
index fe855401ebc5b97f090cb1655c35c7f873db6d7d..ae9867cd03e09c18b65bebfbb6e500e75bb41a1f 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/Manager.java
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/Manager.java
@@ -1,45 +1,45 @@
-/*\r
- * 11/19/04            1.0 moved to LGPL. \r
- *-----------------------------------------------------------------------\r
- *   This program is free software; you can redistribute it and/or modify\r
- *   it under the terms of the GNU Library General Public License as published\r
- *   by the Free Software Foundation; either version 2 of the License, or\r
- *   (at your option) any later version.\r
- *\r
- *   This program is distributed in the hope that it will be useful,\r
- *   but WITHOUT ANY WARRANTY; without even the implied warranty of\r
- *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\r
- *   GNU Library General Public License for more details.\r
- *\r
- *   You should have received a copy of the GNU Library General Public\r
- *   License along with this program; if not, write to the Free Software\r
- *   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.\r
- *----------------------------------------------------------------------\r
- */\r
-\r
-\r
-/**\r
- * Work in progress.\r
- * \r
- * Manages a number of controls.\r
- */\r
-public class Manager //implements Control\r
-{\r
-       public void addControl(Control c)\r
-       {\r
-               \r
-       }\r
-       \r
-       public void removeControl(Control c)\r
-       {\r
-               \r
-       }\r
-       \r
-       public void removeAll()\r
-       {\r
-               \r
-       }\r
-       \r
-       // control interface delegates to a managed control\r
-       \r
-}\r
+/*
+ * 11/19/04            1.0 moved to LGPL. 
+ *-----------------------------------------------------------------------
+ *   This program is free software; you can redistribute it and/or modify
+ *   it under the terms of the GNU Library General Public License as published
+ *   by the Free Software Foundation; either version 2 of the License, or
+ *   (at your option) any later version.
+ *
+ *   This program is distributed in the hope that it will be useful,
+ *   but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *   GNU Library General Public License for more details.
+ *
+ *   You should have received a copy of the GNU Library General Public
+ *   License along with this program; if not, write to the Free Software
+ *   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+ *----------------------------------------------------------------------
+ */
+
+
+/**
+ * Work in progress.
+ * 
+ * Manages a number of controls.
+ */
+public class Manager //implements Control
+{
+       public void addControl(Control c)
+       {
+               
+       }
+       
+       public void removeControl(Control c)
+       {
+               
+       }
+       
+       public void removeAll()
+       {
+               
+       }
+       
+       // control interface delegates to a managed control
+       
+}