We cannot open up the bitbucket.properties file either. Any ideas on how to upgrade and still be able to login using active directory credentials?