tag:github.com,2008:https://github.com/birg81/java.gui.plotting/releases Release notes from java.gui.plotting 2025-08-04T18:12:29Z