Convert three dots to ellipses (Eclipse told me to)