Make String#split(‘ ‘) and String#split(“ “) ignore empty entries, and added String#split as equivalent to String#split(‘ ‘)