String () { String text = myCoverageDataFileProvider.getCoverageDataFilePath(); int i = text.lastIndexOf(File.separatorChar); if (i >= 0) text = text.substring(i + 1); i = text.lastIndexOf('.'); if (i >= 0) text = text.substring(0, i); return text; }