Cleaning up an unused import (well, unused in code, used in javadoc).