android: add ANDROID_java_ondestroy hook