}
} else if (arg.equals("-plastic")) {     try { UIManager.setLookAndFeel("com.jgoodies.plaf.plastic.PlasticXPLookAndFeel"); } catch (Exception e) { System.err.println("Couldn't load plastic look and feel: " + e.toString()); } }
    public static void main(String args[]) {        for (int i = 0; i < args.length; ++i) {            String arg = args[i];                        if (arg.equals("-betterCFG")) {                // FIXME: this is for testing of BetterCFGBuilder                System.out.println("Using BetterCFGBuilder");                System.setProperty("cfg.better", "true");            } else if (arg.equals("-debug")) {                System.out.println("Setting findbugs.debug=true");                System.setProperty("findbugs.debug", "true");            }                }                FindBugsFrame frame = new FindBugsFrame();        frame.setSize(800, 600);        frame.show();    }