graphics/openjump: Update to 1.13
PR: 229579 Submitted by: Rainer Hurling <rhurlin@gwdg.de> (maintainer)