update richtextfx

Status Job ID Name Coverage
  Build
passed #31898
build:jdk8

00:01:08

failed #31897
allowed to fail
build:jdk9

00:00:36

 
  Test
failed #31899
test

00:00:31

 
  Deploy
skipped #31900
allowed to fail
deploy
 
Name Stage Failure
failed
test Test There is an unknown failure, please try again
> There were failing tests. See the report at: file:///builds/xt9634/ProofScriptParser/lang/build/reports/tests/test/index.html

* Try:
Run with --stacktrace option to get the stack trace. Run with --info or --debug option to get more log output. Run with --scan to get full insights.

* Get more help at https://help.gradle.org

BUILD FAILED in 20s
ERROR: Job failed: exit code 1
failed
build:jdk9 Build There is an unknown failure, please try again

* Try:
Run with --stacktrace option to get the stack trace. Run with --info or --debug option to get more log output. Run with --scan to get full insights.

* Get more help at https://help.gradle.org

BUILD FAILED in 26s
1 actionable task: 1 executed
ERROR: Job failed: exit code 1