X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FMP3DecoderInfer%2FJavaLayerHook.java;h=fc719e6a4a64908e65a15e12ff4d0521bc887ebb;hp=eda09dec606349014f0b41930718313de943d864;hb=70aff04c5bb5a7b5f5693a72a29a1abf97004e8d;hpb=7a0d4aea90f5e090be8341e7ab4a8d5e33c788f5

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerHook.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerHook.java
index eda09dec..fc719e6a 100644
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerHook.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerHook.java
@@ -17,19 +17,17 @@
  *----------------------------------------------------------------------
  */
 
-
 //import java.io.InputStream;
 
 /**
- * The <code>JavaLayerHooks</code> class allows developers to change
- * the way the JavaLayer library uses Resources. 
+ * The <code>JavaLayerHooks</code> class allows developers to change the way the
+ * JavaLayer library uses Resources.
  */
 
-public interface JavaLayerHook
-{
-	/**
-	 * Retrieves the named resource. This allows resources to be
-	 * obtained without specifying how they are retrieved. 
-	 */
-	public InputStream getResourceAsStream(String name);
+public interface JavaLayerHook {
+  /**
+   * Retrieves the named resource. This allows resources to be obtained without
+   * specifying how they are retrieved.
+   */
+  public InputStream getResourceAsStream(String name);
 }