com.sun.jdi.DoubleValue

is imported to:

.   bluej.extensions