Asynchronous (background-thread) analysis infrastructure for JavaFX