src/Pure/PIDE/protocol_message.scala
2015-03-16 ago clarified modules;