From f484dc41252f36894602db870d01fba3bc9722af Mon Sep 17 00:00:00 2001
From: Pierre DAL-PRA <dalpra.pierre@gmail.com>
Date: Fri, 17 Jul 2015 08:30:13 +0200
Subject: [PATCH] Fix several warnings

---
 interface/src/main/java/xsbti/compile/JavaCompiler.java | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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
+}