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

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerErrors.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerErrors.java
index 4d11270c14f1216fd3b4ef44630f31f6cdf63569..e8f455a8ebf1d785ad5b0d4dfe541b4480b7671d 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerErrors.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerErrors.java
@@ -18,22 +18,20 @@
  *----------------------------------------------------------------------\r
  */\r
 \r
-\r
 /**\r
  * Exception erorr codes for components of the JavaLayer API.\r
  */\r
-public interface JavaLayerErrors\r
-{\r
-       /**\r
-        * The first bitstream error code. See the {@link DecoderErrors DecoderErrors}\r
-        * interface for other bitstream error codes.\r
-        */\r
-       static public final int BITSTREAM_ERROR = 0x100;\r
+public interface JavaLayerErrors {\r
+  /**\r
+   * The first bitstream error code. See the {@link DecoderErrors DecoderErrors}\r
+   * interface for other bitstream error codes.\r
+   */\r
+  static public final int BITSTREAM_ERROR = 0x100;\r
 \r
-       /**\r
-        * The first decoder error code. See the {@link DecoderErrors DecoderErrors}\r
-        * interface for other decoder error codes.\r
-        */\r
-       static public final int DECODER_ERROR = 0x200;\r
+  /**\r
+   * The first decoder error code. See the {@link DecoderErrors DecoderErrors}\r
+   * interface for other decoder error codes.\r
+   */\r
+  static public final int DECODER_ERROR = 0x200;\r
 \r
 }\r