Volví HolaMundo.xtend a como estaba antes y eliminé .settings