Habilitar ProGuard en Eclipse para Android

La nueva documentación sobreProGuard para Android dice agregar una línea al archivo default.properties en el directorio de inicio del proyecto. Sin embargo, al abrir este archivo, leí en la parte superior:

# This file is automatically generated by Android Tools. 
# Do not modify this file -- YOUR CHANGES WILL BE ERASED! 

¿Me estoy perdiendo de algo?

Además, ¿hay alguna manera de habilitar ProGuard solo para una compilación de producción de Eclipse (es decir, al exportar el producto terminado)?

Respuestas a la pregunta(5)

Su respuesta a la pregunta