From 0c37fbd980f33d2cce71cb237a5b4a0a5e9c5a10 Mon Sep 17 00:00:00 2001
From: Tobias Diez <tobiasdiez@gmx.de>
Date: Sun, 1 Dec 2019 10:32:47 +0100
Subject: [PATCH] Update JavaFX

Closes https://github.com/JabRef/jabref/issues/5689. (The other outdated dependencies should be found by dependabot,)
---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 194c1cd20a3..a3b188abe16 100644
--- a/build.gradle
+++ b/build.gradle
@@ -102,7 +102,7 @@ configurations {
 }
 
 javafx {
-    version = "13"
+    version = "13.0.1"
     modules = [ 'javafx.controls', 'javafx.fxml', 'javafx.web', 'javafx.swing' ]
 }