Improved handling of jfxrt.jar