Re: Issue 1648 in lilypond: MIDI: no defined order between a simultaneous note-on and note-off

[lilypond]

Comment #3 on issue 1648 by jan.nieuwenhuizen: MIDI: no defined order  
between a simultaneous note-on and note-off
http://code.google.com/p/lilypond/issues/detail?id=1648

> At least one MIDI player (Windows Media Player) seems to send the note-on  
> for the
> upper-voice b' just before the note-off for the lower-voice b', thus  
> cutting off the
> upper-voice b'.

Is what the Windows Media Player does the preferred/expected behaviour?

You call this patch a workaround and I have the feeling it is just that;
I'm rather reluctant to add workarounds, better fix bugs in other softwares?