small changes at Splitter.java