Android preferences extension