public void dumpRegion(String line) {
			String parens = "{\010{}\010}<\010<>\010>[\010[]\010]`\010`'\010'"
					.substring(options * 6, options * 6 + 6);
			pw.print(parens.substring(0, 3));
			Enumeration enum_ = childBPs.elements();
			int cur = startPos;
			BreakPoint child = (BreakPoint) enum_.nextElement();
			if (child.startPos >= 0) {
				pw.print(line.substring(cur, child.startPos));
				child.dumpRegion(line);
				cur = child.endPos;
			}
			while (enum_.hasMoreElements()) {
				child = (BreakPoint) enum_.nextElement();
				pw.print(line.substring(cur, child.breakPos));
				pw.print("!\010!" + breakPenalty);
				cur = child.breakPos;
				if (child.startPos >= 0) {
					pw.print(line.substring(child.breakPos, child.startPos));
					child.dumpRegion(line);
					cur = child.endPos;
				}
			}
			pw.print(line.substring(cur, endPos));
			pw.print(parens.substring(3));
		}