javafx and derby