A library of patterns for Android programming