Minor change to standardize on more canonical "UTF8" name for encoding in Java