Replace unicode … with ... as java complains about non-ASCII docs