adding v4 sources to compatibility-v13-sources.jar

Implements #188.