should we care about properties set manually ? Jenkins is not using them anyway.