[Web MIDI] Use Android MIDI API.

media/midi/BUILD.gn

Index: media/midi/BUILD.gn
diff --git a/media/midi/BUILD.gn b/media/midi/BUILD.gn
index 812565467f9fc9d4cc7b614d2b96c0e54eb60a00..f056aed059b0a57778a7ba3f715c2dbb8f31bf59 100644
--- a/media/midi/BUILD.gn
+++ b/media/midi/BUILD.gn
@@ -54,6 +54,10 @@ if (is_android) {
 
   generate_jni("midi_jni_headers") {
     sources = [
+      "java/src/org/chromium/media/midi/MidiDeviceAndroid.java",
+      "java/src/org/chromium/media/midi/MidiInputPortAndroid.java",
+      "java/src/org/chromium/media/midi/MidiManagerAndroid.java",
+      "java/src/org/chromium/media/midi/MidiOutputPortAndroid.java",
       "java/src/org/chromium/media/midi/UsbMidiDeviceAndroid.java",
       "java/src/org/chromium/media/midi/UsbMidiDeviceFactoryAndroid.java",
     ]
@@ -91,10 +95,18 @@ component("midi") {
   libs = []
 
   if (is_android) {
+    # TODO(yhirano): Consider having "android" subdirectory.
     sources += [
+                 "midi_device_android.cc",
+                 "midi_device_android.h",
                  "midi_jni_registrar.cc",
                  "midi_jni_registrar.h",
+                 "midi_input_port_android.cc",
+                 "midi_input_port_android.h",
                  "midi_manager_android.cc",
+                 "midi_manager_android.h",
+                 "midi_output_port_android.cc",
+                 "midi_output_port_android.h",
                  "usb_midi_device_android.cc",
                  "usb_midi_device_android.h",
                  "usb_midi_device_factory_android.cc",