src/Pure/PIDE/protocol_handlers.scala
2017-03-13 ago clarified modules;