Bump javafx.version from 23 to 23.0.1

Bumps `javafx.version` from 23 to 23.0.1.

Updates `org.openjfx:javafx-fxml` from 23 to 23.0.1

Updates `org.openjfx:javafx-controls` from 23 to 23.0.1

Updates `org.openjfx:javafx-graphics` from 23 to 23.0.1

Updates `org.openjfx:javafx-base` from 23 to 23.0.1

Updates `org.openjfx:javafx-swing` from 23 to 23.0.1

---
updated-dependencies:
- dependency-name: org.openjfx:javafx-fxml
  dependency-type: direct:production
  update-type: version-update:semver-patch
- dependency-name: org.openjfx:javafx-controls
  dependency-type: direct:production
  update-type: version-update:semver-patch
- dependency-name: org.openjfx:javafx-graphics
  dependency-type: direct:production
  update-type: version-update:semver-patch
- dependency-name: org.openjfx:javafx-base
  dependency-type: direct:production
  update-type: version-update:semver-patch
- dependency-name: org.openjfx:javafx-swing
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>

pom.xml

@@ -31,7 +31,7 @@
     <io7m.java.targetJavaVersion>21</io7m.java.targetJavaVersion>
 
     <!-- Third-party dependencies. -->
-    <javafx.version>23</javafx.version>
+    <javafx.version>23.0.1</javafx.version>
     <jqwik.version>1.9.1</jqwik.version>
     <org.junit.version>5.11.2</org.junit.version>
     <testfx.version>4.0.18</testfx.version>