A library for viewing and editing graph-like diagrams in JavaFX