General question: I just noticed that ``ScalaPlugin.indexLocationForProject`` uses a ``java.io.File``, any reason for not using an Eclipse Resource (and calling ``toFile`` when needed).