Fix a bug in CeylonProjectConfig synchronization and refresh