protected void printFoldOpen(String comment) { printFoldOpen(getStream(), comment);
protected void printFoldOpen(PrintStream out, String comment) { out.println("/*{{" + "{  " + comment + " */"); out.println();
	protected void printFoldOpen(String comment) {		printFoldOpen(getStream(), comment);	}