String baseFilename(String path) { var p = withoutExtension(path); var idx = p.lastIndexOf("_"); if (idx < 0) { return p; } return p.substring(0, idx); }