From 21ef50beb435f5bf988b8f18d353fa9184f473aa Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 14 Oct 2013 12:34:09 +0200
Subject: [PATCH] It was still using jdk FileNameExtensionFilter

---
 app/src/processing/app/Base.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
index 4e40f8c34..a45e69ada 100644
--- a/app/src/processing/app/Base.java
+++ b/app/src/processing/app/Base.java
@@ -28,12 +28,12 @@ import java.io.*;
 import java.util.*;
 
 import javax.swing.*;
-import javax.swing.filechooser.FileNameExtensionFilter;
 
 import processing.app.debug.Compiler;
 import processing.app.debug.Target;
 import processing.app.helpers.FileUtils;
 import processing.app.helpers.filefilters.OnlyDirs;
+import processing.app.javax.swing.filechooser.FileNameExtensionFilter;
 import processing.app.tools.ZipDeflater;
 import processing.core.*;
 import static processing.app.I18n._;