Fixed preference issue with legacy PreferenceActivity. Make Jenkins
builds use Jenkins build numbers.