Tweak java/jgraph version 5.13.0.4