public void open() {
   File last =
       FileSelectionFactory.GetFile(
           ScriptingEngine.getWorkspace(),
           new ExtensionFilter("Groovy Scripts", "*.groovy", "*.java", "*.txt"));
   if (last != null) {
     createFileTab(last);
   }
 }
 private void getFile() {
   setAudioFile(
       FileSelectionFactory.GetFile(
           mp3File == null ? ScriptingEngineWidget.getWorkspace() : mp3File, new GroovyFilter()));
 }
 private void getFile() {
   setAudioFile(
       FileSelectionFactory.GetFile(
           mp3File == null ? ScriptingEngine.getWorkspace() : mp3File,
           new ExtensionFilter("WAV file", "*.wav", "*.WAV")));
 }