line += ";";
if (!(s instanceof StmtIfThen)) { line += ";"; }
    public Object visitStmtBlock(StmtBlock stmt)    {        // Put context label at the start of the block, too.        String result = "{";        if (stmt.getContext() != null)            result += " // " + stmt.getContext();        result += "\n";        addIndent();        for (Iterator iter = stmt.getStmts().iterator(); iter.hasNext(); )        {            Statement s = (Statement)iter.next();            String line = indent;            line += (String)s.accept(this);            line += ";";            if (s.getContext() != null)                line += " // " + s.getContext();            line += "\n";            result += line;        }        unIndent();        result += indent + "}";        return result;    }