A library predefining animations for Android