if (!(System.getProperty("java.vendor").indexOf("Microsoft") != -1)) { Arrays.sort(s); }
Arrays.sort(s, new Comparator() { public int compare( Object a, Object b ) { String sa = (String)a; String sb = (String)b; return sa.compareTo(sb); } });
    private Panel getAdvancedSettingsPanel() {        Panel p = new Panel();        keys = new List(10, false);        String[] s = GUIPreferences.getInstance().getAdvancedProperties();        if (!(System.getProperty("java.vendor").indexOf("Microsoft") != -1)) {            Arrays.sort(s);        }        for (int i = 0; i < s.length; i++) {            keys.add(s[i].substring(s[i].indexOf("Advanced") + 8, s[i].length()));        }        keys.addItemListener(this);        p.add(keys);        value = new TextField(10);        value.addFocusListener(this);        p.add(value);        return p;    }