diff -r 58c9231c2937 -r 7b995cd6d5d4 src/Pure/build-jars
--- a/src/Pure/build-jars	Thu May 10 22:03:51 2018 +0100
+++ b/src/Pure/build-jars	Fri May 11 11:42:23 2018 +0200
@@ -37,8 +37,6 @@
   GUI/color_value.scala
   GUI/gui.scala
   GUI/gui_thread.scala
-  GUI/html5_panel.scala
-  GUI/jfx_gui.scala
   GUI/popup.scala
   GUI/wrap_panel.scala
   General/antiquote.scala