Diff of /tool/src/main/Script.java [r11] .. [r12]

  Switch to unified view

a/tool/src/main/Script.java b/tool/src/main/Script.java