org.fxmisc.richtext.TextExt

is imported to:

.   bluej.terminal