private String[] getPreviousExtensionsOldStyle() {
List<String> extensions = new ArrayList<String>(fPreviousSearchPatterns.size());
int size = fPreviousSearchPatterns.size();
for (int i = 0; i < size; i++) {
SearchPatternData data = fPreviousSearchPatterns.get(i);
String text = FileTypeEditor.typesToString(data.fileNamePatterns);
if (!extensions.contains(text)) {
extensions.add(text);
}
}
return extensions.toArray(new String[extensions.size()]);
}
