private static void dumpBlockProperties(final Block block, final StringBuilder blockData) {
    TextRange textRange = block.getTextRange();
    blockData.append(" ").append(textRange.getStartOffset()).append(":").append(textRange.getEndOffset());
    Wrap wrap = block.getWrap();
    if (wrap != null) {
      blockData.append(" ").append(wrap);
    }
    Indent indent = block.getIndent();
    if (indent != null) {
      blockData.append(" ").append(indent);
    }
    final Alignment alignment = block.getAlignment();
    if (alignment != null) {
      blockData.append(" ").append(alignment);
    }
  }
private static void dumpBlockProperties(final Block block, final StringBuilder blockData)