/**
* Opens a FileChooser and stores all User-Settings in a zip file
*/
private void export() {
JFileChooser fileChooser=new JFileChooser();
ExtensionFileFilter filter = new ExtensionFileFilter(".zip","Zip (*.zip)");
fileChooser.setFileFilter(filter);
int retVal = fileChooser.showSaveDialog(this);
if (retVal == JFileChooser.APPROVE_OPTION) {
File f=fileChooser.getSelectedFile();
if (f!=null) {
if (f.getName().indexOf('.') == -1) {
f = new File(f.getAbsolutePath() + filter.getExtension());
}
ZipUtil zip = new ZipUtil();
StringBuilder dir = new StringBuilder(Settings.getUserSettingsDirName())
.append(File.separatorChar).append("lang").append(