else { path = "file:."; }
    public static void main(String[] args) {        if (args.length > 0) {            if ( (args[0].startsWith("file"+File.pathSeparator)) ||                 (args[0].startsWith("http"+File.pathSeparator))   ) {                path = args[0];            }            else {                path = "file:" + args[0];            }        }        else {            path = "file:.";        }                 if (args.length > 1) {            filename[0] = args[1];            if (filename[0] != null) {                filenamesGiven++ ;            }        } 	new MainFrame(new MoveAppBoundingLeaf(), 256, 256);    }