String (final Block block) { if (block instanceof ASTBlock && ((ASTBlock)block).getNode() != null) { return ((ASTBlock)block).getNode().getText(); } else { return "unknown block " + block.getClass(); } }