Copy options from childBP, when replacing childBP with this break point.

Didn't I fixed this before???


git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@1279 379699f6-c40d-0410-875b-85095c16579e

jode/jode/decompiler/TabbedPrintWriter.java

@@ -133,6 +133,7 @@ public class TabbedPrintWriter {
 		 */
 		BreakPoint child = (BreakPoint) childBPs.elementAt(0);
 		startPos = child.startPos;
+		options = child.options;
 		endPos = child.endPos;
 		breakPenalty = child.breakPenalty;
 		childBPs = child.childBPs;