Searched refs:coreFile (Results 1 – 1 of 1) sorted by relevance
216 String coreFile = file.getName(); in parseRB() local217 if (!coreFile.endsWith(".txt")) { in parseRB()220 coreFile = coreFile.substring(0, coreFile.length() - 4); in parseRB()