Updated FileIndex.java; added methods filterExclusively() and
filterInclusively().