Improve some code formatting

tlatools/src/tlc2/util/DotStateWriter.java

@@ -235,9 +235,11 @@ public class DotStateWriter extends StateWriter {
 		sb.append(String.format("subgraph %s {", "cluster_legend"));
 		sb.append("graph[style=bold];");
 		sb.append("label = \"Next State Actions\" style=\"solid\"\n");
-        sb.append(String.format("node [ labeljust=\"l\" colorscheme=\"%s\" style=filled shape=record ]\n", dotColorScheme));
+		sb.append(String.format("node [ labeljust=\"l\" colorscheme=\"%s\" style=filled shape=record ]\n",
+				dotColorScheme));
 		for (String action : actions) {
-        		String str = String.format("%s [label=\"%s\" fillcolor=%d]", action, action, this.actionToColors.get(action));
+			String str = String.format("%s [label=\"%s\" fillcolor=%d]", action, action,
+					this.actionToColors.get(action));
 			sb.append(str);
 			sb.append("\n");
 		}
@@ -272,8 +274,8 @@ public class DotStateWriter extends StateWriter {
 		// We only need the legend if the edges are colored by action.
 		if(colorize) {
 			this.writer.append(dotLegend("DotLegend", this.actionToColors.keySet()));
-			this.writer.append("}");
 		}
+		this.writer.append("}");
 		super.close();
 	}
 }