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

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerHook.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerHook.java
index eda09dec606349014f0b41930718313de943d864..fc719e6a4a64908e65a15e12ff4d0521bc887ebb 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerHook.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerHook.java
@@ -17,19 +17,17 @@
  *----------------------------------------------------------------------\r
  */\r
 \r
  *----------------------------------------------------------------------\r
  */\r
 \r

-\r

 //import java.io.InputStream;\r
 \r
 /**\r
 //import java.io.InputStream;\r
 \r
 /**\r

- * The <code>JavaLayerHooks</code> class allows developers to change\r
- * the way the JavaLayer library uses Resources. \r
+ * The <code>JavaLayerHooks</code> class allows developers to change the way the\r
+ * JavaLayer library uses Resources.\r

  */\r
 \r
  */\r
 \r

-public interface JavaLayerHook\r
-{\r
-       /**\r
-        * Retrieves the named resource. This allows resources to be\r
-        * obtained without specifying how they are retrieved. \r
-        */\r
-       public InputStream getResourceAsStream(String name);\r
+public interface JavaLayerHook {\r
+  /**\r
+   * Retrieves the named resource. This allows resources to be obtained without\r
+   * specifying how they are retrieved.\r
+   */\r
+  public InputStream getResourceAsStream(String name);\r

 }\r
 }\r