update SkipList.java