BerlinClock2.java BehaviouralTestEmbedder2.java

Hack -- creating copies of the .java files, in order to not modify the
original sources
Not included in tests though