Revert "modified for BlueJ use."

This reverts commit 804e40e75a7495d86a0916f57d6782fa20a5d5b6.