We need to change the release version to 12.0.1 in JavaFX 12-dev preparing the next 12.0.1 release.

This requires a change in the following file:

build.properties