Recover user-specified annotations for Android SDK