Issue #94: removed unused methods from android/Tools