Doesn't matter. Mutex leaks aren't a real problem in practice. Slow object allocation is a real problem on Android.