Issue #38: added some proguard rules so that javamail won't be broken