Some experiments with Java IO and sorting