code: public static void modifyDefaultThemeClear(int mod) {
          mod &= ThemeManager._THEME_MASK;
          ThemeManager._DEFAULT_THEME |= mod;
          ThemeManager._DEFAULT_THEME ^= mod;
      }
docs: Clear modifier from default theme
  
  @see #modifyDefaultTheme(int)
  @see #setDefaultTheme(int)
  @see #getDefaultTheme()