back to stable scala-2.11.8;

back to stable scala-2.11.8;

discontinued unused / untested distinction of separate PIDE modules;

more uniform synchronized variables;

more uniform Counter in ML and Scala;

prefer final ADTs -- prevent ooddities;

separate compilation of PIDE vs. Pure sources, which enables independent Scala library;

explicit indication of modules for independent Scala library;

class Counter as abstract datatype;

explicit class Counter;