A console emulator based on JavaFX