if (theme == null) {   if ("steel".equals(SystemProperties.getProperty("swing.metalTheme"))) theme = new DefaultMetalTheme(); else theme = new OceanTheme(); }
  public static MetalTheme getCurrentTheme()  {    return theme;  }