} else if (arg.equals("-plastic")) {
} else if (arg.startsWith("-look:")) { arg = arg.substring(6);  String theme = null; if (arg.equals("plastic")) {     theme = "com.jgoodies.plaf.plastic.PlasticXPLookAndFeel"; } else if (arg.equals("gtk")) { theme = "com.sun.java.swing.plaf.gtk.GTKLookAndFeel"; } else if (arg.equals("native")) { theme = UIManager.getSystemLookAndFeelClassName(); } else { System.err.println("Style '" + arg + "' not supported"); }  if (theme != null) { try { UIManager.setLookAndFeel(theme); } catch (Exception e) { System.err.println("Couldn't load " + arg + " look and feel: " + e.toString()); } } } else if (arg.equals("-project")) { ++i; if (i == args.length) throw new IllegalArgumentException(arg + " option requires argument");   String projectFile = new File(args[i]).getAbsolutePath();
    public static void main(String args[]) {        for (int i = 0; i < args.length; ++i) {            String arg = args[i];            	    if (arg.equals("-debug")) {                System.out.println("Setting findbugs.debug=true");                System.setProperty("findbugs.debug", "true");            } else if (arg.equals("-plastic")) {		// You can get the Plastic look and feel from jgoodies.com:		//    http://www.jgoodies.com/downloads/libraries.html		// Just put "plastic.jar" in the lib directory, right next		// to the other jar files.		try {		    UIManager.setLookAndFeel("com.jgoodies.plaf.plastic.PlasticXPLookAndFeel");		} catch (Exception e) {		    System.err.println("Couldn't load plastic look and feel: " + e.toString());		}	    }                }	// Load plugins!	DetectorFactoryCollection.instance();                FindBugsFrame frame = new FindBugsFrame();        frame.setSize(800, 600);        frame.show();    }