src/Pure/Tools/update_semicolons.scala
2014-11-01 wenzelm 2014-11-01 command-line terminator ";" is no longer accepted;