Fix compilation warning

Blaisorblade · Blaisorblade · commit dc408afed322 · 2016-10-06T16:48:11.000+02:00
diff --git a/interfaces/src/main/java/dotty/tools/dotc/interfaces/SourceFile.java b/interfaces/src/main/java/dotty/tools/dotc/interfaces/SourceFile.java
@@ -1,7 +1,5 @@
 package dotty.tools.dotc.interfaces;
 
-import java.io.File;
-
 /** A source file.
  *
  *  User code should not implement this interface, but it may have to

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,5 @@`
`1`	`1`	`package dotty.tools.dotc.interfaces;`
`2`	`2`
`3`		`-import java.io.File;`
`4`		`-`
`5`	`3`	`/** A source file.`
`6`	`4`	`*`
`7`	`5`	`* User code should not implement this interface, but it may have to`