src/Pure/GUI/jfx_gui.scala
Tue, 12 Aug 2014 12:06:22 +0200 wenzelm separate Java FX modules -- no need to include jfxrt.jar by default;
less more (0) tip