protected void printFoldClose() { printFoldClose(getStream());
protected void printFoldClose(PrintStream out) { out.println(); out.println("/*}}" + "}  */");
	protected void printFoldClose() {		printFoldClose(getStream());	}