Fixed: Project#enabled_module_names= does not test if a module is already enabled (#4200).
Authored by: jplang 2009-11-13
Parent: [r3035]
Child: [r3037]
