Coordinated Editing of Versioned Packages in the JP Programming Environment