RFR: 8232378: change JavaFX release version in 13-dev to 13.0.1

[Kevin Rushforth]

+1

On 10/16/2019 7:42 AM, Johan Vos wrote:
> Please review http://cr.openjdk.java.net/~jvos/8232378/webrev.00/ which
> fixes https://bugs.openjdk.java.net/browse/JDK-8232378
>
> Thanks,
>
> - Johan