Reverts some of the removed synchronizes.
Puts back jmork lib in debian src package.