} else { showSynopsis(); ShowHelp.showGeneralOptions(); showCommandLineOptions(); System.exit(1);
	public static void main(String args[]) {		Project project = null;				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.startsWith("-look:")) {				arg = arg.substring(6);								String theme = null;				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.					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 = args[i];								try {					project = new Project();					project.read(projectFile);				} catch (IOException e) {					System.err.println("Couldn't load project: " + e.getMessage());				}			} else if (arg.equals("-adjustExperimental")) {				BugInstance.setAdjustExperimental(true);			}		}				//	  Uncomment one of these to test I18N		//		Locale.setDefault( Locale.FRENCH );		//		Locale.setDefault( Locale.GERMAN );		//		Locale.setDefault( Locale.JAPANESE );		//		Locale.setDefault( new Locale( "et" ));		//		Locale.setDefault( new Locale( "fi" ));		//		Locale.setDefault( new Locale( "es" ));		//		Locale.setDefault( new Locale( "pl" ));				// Load plugins!		DetectorFactoryCollection.instance();				FindBugsFrame frame = new FindBugsFrame();				if (project != null) {			frame.setProject(project);		}		frame.setSize(800, 600);		frame.setLocationRelativeTo(null); // center the frame		frame.setVisible(true);	}