707172737475767778
File myBaseDir = baseDir; if (myBaseDir == null) { myBaseDir = getProject().getBaseDir(); } FileSelector f = getSelectors(getProject())[0]; return f.isSelected( myBaseDir, FILE_UTILS.removeLeadingPath(myBaseDir, file), file); }
717273747576777879