removed javafx dependency

README.md

@@ -23,6 +23,6 @@ EPMC implemented the supports for
 
 The main characteristics of EPMC are *the high modularity of the tool, the possibility to extend EPMC with plugins to add new functionalities, and its availability on multiple platforms*. EPMC achieves its flexibility by an infrastructure that consists of a minimal core part and multiple plugins that is very convenient to develop a new model checker based on the core parts of EPMC.
 
-EPMC is mainly developed in Java, but accesses a few libraries written in C/C++ to increase performance or to access well established legacy code. Its graphical user interface (GUI) is a single static webpage hosted in a JavaFX webview control. The GUI communicates with the backend, where core functions (like model checking) and high-privilege operations (like file I/O) are realised.
+EPMC is mainly developed in Java, but accesses a few libraries written in C/C++ to increase performance or to access well established legacy code. Its graphical user interface (GUI) is a single static webpage. The GUI communicates with the backend, where core functions (like model checking) and high-privilege operations (like file I/O) are realised.
 
 Please follow our [wiki documentations](../../wiki/Documentations) to build and use ePMC.