Bug fixing in Android Sound System and Gesture Detector