public BracePos(CharPos pos, int depth) { this.charPos = pos; this.depth = depth; }
public BracePos(char ch, int pos, int depth) { this.charPos = new CharPos(ch, pos); this.depth = depth; }