public ImageFactory() { filter = new ExtensionFilenameFilter(new String[] {".png", ".gif", ".jpg", ".jpeg"}); filter.setCaseSensitive(false); }
filter.setCaseSensitive(isCaseSensitive());
filter.setCaseSensitive(caseSensitive);
public ImageFactory() { filter = new ExtensionFilenameFilter(new String[] {".png", ".gif", ".jpg", ".jpeg"}); filter.setCaseSensitive(false); }
filter.setCaseSensitive(isCaseSensitive());
filter.setCaseSensitive(caseSensitive);