diff --git a/interface/src/main/java/xsbti/compile/JavaCompiler.java b/interface/src/main/java/xsbti/compile/JavaCompiler.java
index 95f9fb992..18b3f5bea 100644
--- a/interface/src/main/java/xsbti/compile/JavaCompiler.java
+++ b/interface/src/main/java/xsbti/compile/JavaCompiler.java
@@ -4,7 +4,7 @@ import java.io.File;
 import xsbti.Logger;
 import xsbti.Reporter;
 
-/** 
+/**
 * Interface to a Java compiler.
 */
 public interface JavaCompiler
@@ -14,6 +14,7 @@ public interface JavaCompiler
      *
      * @deprecated 0.13.8 - Use compileWithReporter instead
      */
+	@Deprecated
 	void compile(File[] sources, File[] classpath, Output output, String[] options, Logger log);
 
     /**
@@ -23,4 +24,4 @@ public interface JavaCompiler
      * Failures should be passed to the provided Reporter.
      */
     void compileWithReporter(File[] sources, File[] classpath, Output output, String[] options, Reporter reporter, Logger log);
-}
\ No newline at end of file
+}