bluej.views.*

is imported to:

.   bluej.extensions