bluej.stride.framedjava.ast.JavaFragment.Destination

is imported to:

.   bluej.stride.framedjava.ast