Merge "MidiManager: minor Javadoc tweaks"