map.setSize(800, 600);
	public static void main(String[] args) throws Exception	{		if ( args.length > 0 && "-help".equals(args[0]) )		{			System.err.println("Usage : java MapFrame [ <profile data file> ]");			System.exit(1);		}		String profileFileName = null;		if ( args.length > 0 )		{			profileFileName = args[0];		}		String gljLib = null;		String glLib = null;		String gluLib = null;				if ( !GLContext.loadNativeLibraries(gljLib, glLib, gluLib) )		{			System.out.println("could not load native libs:"+							   gljLib + ", " + glLib + ", " + gluLib);		}		else		{			System.out.println("loaded native libs:"+							   gljLib + ", " + glLib + ", " + gluLib);		}		// Solves the lightweight/heavyweight mixing problem		JPopupMenu.setDefaultLightWeightPopupEnabled(false);		ToolTipManager.sharedInstance().setLightWeightPopupEnabled(false);		// Fix JavaWebStart bug		// see http://developer.java.sun.com/developer/bugParade/bugs/4387437.html		System.setSecurityManager(null);				MapFrame map = new MapFrame();		map.setSize(800, 600);		UIUtil.centerWindow(map);		if ( profileFileName != null )		{			map.loadProfile(new File(profileFileName));		}		map.show();	}