int () { Object ho = progressBar.getClientProperty("ProgressBar.stripeWidth"); if (ho != null) { try { return JBUIScale.scale(Integer.parseInt(ho.toString())); } catch (NumberFormatException nfe) { return JBUIScale.scale(DEFAULT_WIDTH); } } else { return JBUIScale.scale(DEFAULT_WIDTH); } }