Fixes #531.
Was already merged in Bitbucket before import, marked as merged by the import user
Done by updating the dependency to JavaHg, in which the actual code change is.
Was already merged in Bitbucket before import, marked as merged by the import user
Done by updating the dependency to JavaHg, in which the actual code change is.