diff --git a/interface/src/main/java/xsbti/ExtendedReporter.java b/interface/src/main/java/xsbti/ExtendedReporter.java
deleted file mode 100755
index 7bc4acc47..000000000
--- a/interface/src/main/java/xsbti/ExtendedReporter.java
+++ /dev/null
@@ -1,10 +0,0 @@
-/* sbt -- Simple Build Tool
- * Copyright 2012 Eugene Vigdorchik
- */
-package xsbti;
-
-/** An addition to standard reporter. Used by the IDE. */
-public interface ExtendedReporter extends Reporter
-{
-	public void comment(Position pos, String msg);
-}
diff --git a/interface/src/main/java/xsbti/Reporter.java b/interface/src/main/java/xsbti/Reporter.java
index 8556cbe8a..439e2738f 100644
--- a/interface/src/main/java/xsbti/Reporter.java
+++ b/interface/src/main/java/xsbti/Reporter.java
@@ -17,4 +17,6 @@ public interface Reporter
 	public Problem[] problems();
 	/** Logs a message.*/
 	public void log(Position pos, String msg, Severity sev);
-}
\ No newline at end of file
+	/** Reports a comment. */
+	public void comment(Position pos, String msg);
+}