DeterministicSelect.java fixed