ありました
-keep class com.actionbarsherlock.** { *; }
私のプロガード設定で。Actionbarsherlockの連中が提案したように(http://actionbarsherlock.com/faq.htmlを参照)。しかし、追加した後にのみ
-keep public class * extends com.actionbarsherlock.app.SherlockFragment
SherlockFragmentを拡張したクラスが保持されていたので、Fragmentsを使用することができました。
なんで?