*/
public static void setTheme(int themeNumber){
switch (themeNumber) {
case 1: PlasticLookAndFeel.setPlasticTheme(new DesertBlue());
break;
case 2: PlasticLookAndFeel.setPlasticTheme(new DesertRed());
break;
case 3: PlasticLookAndFeel.setPlasticTheme(new Silver());
break;
case 4: PlasticLookAndFeel.setPlasticTheme(new SkyPink());
break;