From bfc5e0b317ec83ea8930087449da0acab093d9a0 Mon Sep 17 00:00:00 2001
From: Kay Kasemir <kay.kasemir@gmail.com>
Date: Tue, 7 Feb 2023 14:07:47 -0500
Subject: [PATCH] Update JavaFX to 19.0.2.1

.. simply because that's the current one, while plain 19 is about 5 months old.
Release notes under https://github.com/openjdk/jfx/tree/jfx19/doc-files mostly point to "not public" security fixes.
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 87dddf6e63..696a989c6a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -60,7 +60,7 @@
   <properties>
     <epics.version>7.0.8</epics.version>
     <vtype.version>1.0.5</vtype.version>
-    <openjfx.version>19</openjfx.version>
+    <openjfx.version>19.0.2.1</openjfx.version>
     <jackson.version>2.12.3</jackson.version>
     <batik.version>1.14</batik.version>
     <mockito.version>2.23.4</mockito.version>