Anyone know of non-hideous way to do this in Java: ints = [int(x.strip()) for x in s.split(‘,’)]