Demo setup for using Checker Framework custom @Fenum annotations in your Android project - View it on GitHub