hg: openjfx/13-dev/rt: 8232378: Change JavaFX release version to 13.0.1

[johan at lodgon.com]

Changeset: 4dfd9c90c600
Author:    jvos
Date:      2019-10-16 17:36 +0200
URL:       https://hg.openjdk.java.net/openjfx/13-dev/rt/rev/4dfd9c90c600

8232378: Change JavaFX release version to 13.0.1
Reviewed-by: kcr

! build.properties