Extend reporter to be used by the IDE.

interface/src/main/java/xsbti/ExtendedReporter.java

@@ -0,0 +1,10 @@
+/* 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);
+}