Java MIDI processing library for Android