JavaFX user interface for GraphStream