javadoc for ProjectFileIndex: clarifications added, some useless tautological comment...