reformat benchmark source codes to meet the requirements of the annotation generation.

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Manager.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Manager.java
index fe855401ebc5b97f090cb1655c35c7f873db6d7d..651713ca96474ecd11a18ecefbb79a59b462495c 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Manager.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Manager.java
@@ -17,29 +17,25 @@
  *----------------------------------------------------------------------\r
  */\r
 \r
-\r
 /**\r
  * Work in progress.\r
  * \r
  * Manages a number of controls.\r
  */\r
-public class Manager //implements Control\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
+  public void addControl(Control c) {\r
+\r
+  }\r
+\r
+  public void removeControl(Control c) {\r
+\r
+  }\r
+\r
+  public void removeAll() {\r
+\r
+  }\r
+\r
+  // control interface delegates to a managed control\r
+\r
 }\r