buttons.clear();
return;
}
<BUG>handleExport(new File(directory), projectName, null);
}
protected void handleExport(File appletDir, String projectName,
</BUG>
File dataDir) {
try {
String program = textarea.getText();

buttons.clear();
return;
} else if (project.indexOf(' ') != -1) {  // space in filename
message("Project name cannot have spaces.");
buttons.clear();
return;
}
handleExport(new File(directory), project, null);
}
protected void handleExport(File appletDir, String exportSketchName,
File dataDir) {
try {
String program = textarea.getText();
