JavaFX user interface for GraphStream.