-allowaccessmodification
-printmapping map.txt
-printseeds seeds.txt
-printusage unused.txt
-optimizationpasses 5
-repackageclasses
-dontusemixedcaseclassnames
-dontskipnonpubliclibraryclasses
-dontpreverify
-verbose

-keep public class org.kreed.vanilla.* extends android.app.Activity
-keep public class org.kreed.vanilla.* extends android.app.Application
-keep public class org.kreed.vanilla.* extends android.app.Service
-keep public class org.kreed.vanilla.* extends android.content.BroadcastReceiver
-keep public class org.kreed.vanilla.* extends android.content.ContentProvider
-keep public class org.kreed.vanilla.* extends android.app.backup.BackupAgentHelper
-keep public class org.kreed.vanilla.* extends android.preference.Preference

-keepclassmembers enum org.kreed.vanilla.* {
    public static **[] values();
    public static ** valueOf(java.lang.String);
}

-keepclasseswithmembernames class org.kreed.vanilla.* {
    native <methods>;
}

-keepclasseswithmembers class org.kreed.vanilla.*,com.viewpagerindicator.*,android.support.v4.view.ViewPager {
    public <init>(android.content.Context, android.util.AttributeSet);
}

-keepclasseswithmembers class org.kreed.vanilla.* {
    public <init>(android.content.Context, android.util.AttributeSet, int);
}

-keepclassmembers class org.kreed.vanilla.* extends android.app.Activity {
    public void *(android.view.View);
}

-keep class org.kreed.vanilla.*,android.support.v4.view.ViewPager$SavedState implements android.os.Parcelable {
    public static final android.os.Parcelable$* *;
}

-assumenosideeffects class android.util.Log {
    public static *** d(...);
    public static *** v(...);
    public static *** i(...);
    public static *** w(...);
}

-assumenosideeffects class java.lang.String {
	public *** format(...);
}

-assumenosideeffects class junit.framework.Assert {
	<methods>;
}

-keep public class org.kreed.vanilla.Compat*
-keep public class android.support.v4.view.*Compat