Rename themes to be installed sanely

Fixes CLIENT-168

Change-Id: I55aaabefda2abeee2b788a212f363218ba2936f0
Reviewed-on: http://gerrit.dmdirc.com/1784
Automatic-Compile: DMDirc Local Commits <dmdirc@googlemail.com>
Reviewed-by: Chris Smith <chris@dmdirc.com>

src/com/dmdirc/addons/ui_swing/components/addonbrowser/InstallListener.java

@@ -102,7 +102,15 @@ public class InstallListener implements ActionListener {
                     }
                     break;
                 case TYPE_THEME:
-                    file.renameTo(new File(ThemeManager.getThemeDirectory()));
+                    if (!file.renameTo(new File(ThemeManager.getThemeDirectory()
+                            + info.getTitle() + ".zip"))) {
+                        Logger.userError(ErrorLevel.MEDIUM, "Unable to "
+                                + "install addon, failed to move file: "
+                                + file.getAbsolutePath());
+                        installer.finished("Unable to "
+                                + "install addon, failed to move file: "
+                                + file.getAbsolutePath());
+                    }
                     break;
                 default:
                     Logger.appError(ErrorLevel.HIGH, "Unknown addon type",