minor correction to LoadShedder.java