Unicode handling in java properties parser.