System.setProperty("findbugs.home",".."+File.separator+"findbugs");
	public static void main(String[] args) throws Exception {		if (SystemProperties.getProperty("os.name").startsWith("Mac"))		{			System.setProperty("apple.laf.useScreenMenuBar","true");			System.setProperty("com.apple.mrj.application.apple.menu.about.name", "FindBugs");				Debug.println("Mac OS detected");		}				splash = new SplashFrame();		splash.setVisible(true);								try {			Class.forName("net.infonode.docking.DockingWindow");			Class.forName("edu.umd.cs.findbugs.gui2.DockLayout");		} catch (Exception e) {			docking = false;		}		for(int i = 0; i < args.length; i++){			if((args[i].equals("-f")) && (i+1 < args.length)){				float num = 0;				try{					i++;					num = Integer.valueOf(args[i]);				}				catch(NumberFormatException exc){					num = fontSize;				}				fontSize = num;			}						if(args[i].startsWith("--font=")){				float num = 0;				try{					num = Integer.valueOf(args[i].substring("--font=".length()));				}				catch(NumberFormatException exc){					num = fontSize;				}				fontSize = num;			}						if(args[i].equals("-clear")){				GUISaveState.clear();				System.exit(0);			}						if (args[i].equals("-d") || args[i].equals("--nodock"))				docking = false;		}		try {		GUISaveState.loadInstance();		} catch (RuntimeException e) {			GUISaveState.clear();			e.printStackTrace();			}		System.setProperty("findbugs.home",".."+File.separator+"findbugs");		DetectorFactoryCollection.instance();//		The bug with serializable idiom detection has been fixed on the findbugs end.//		DetectorFactory serializableIdiomDetector=DetectorFactoryCollection.instance().getFactory("SerializableIdiom");//		System.out.println(serializableIdiomDetector.getFullName());//		UserPreferences.getUserPreferences().enableDetector(serializableIdiomDetector,false);		FindBugsLayoutManagerFactory factory;		if (isDocking())			factory = new FindBugsLayoutManagerFactory("edu.umd.cs.findbugs.gui2.DockLayout");		else			factory = new FindBugsLayoutManagerFactory(SplitLayout.class.getName());		MainFrame.makeInstance(factory);				splash.setVisible(false);		splash.dispose();	}