It is an answer to a problem I had with using setDefaultValue
on Android preferences at run-time. This takes a longer way round but actually works! :D
http://stackoverflow.com/questions/8297894/android-preferences-seem-to-be-ignoring-setdefaultvalue
Please do tell me if this was useful1! :D