JSR 125 Manager.MIDI_DEVICE_LOCATOR missing

[GoogleCodeExporter]

What steps will reproduce the problem?
1.Set up javac with bootpath including microemu-jsr-135.jar
2.Try to refer to javax.microedition.media.Manager.MIDI_DEVICE_LOCATOR
3.

What is the expected output? What do you see instead?

Expect it to compile.  Instead,

    [javac] /home/swhite/freeware/stringtuner/src/NotePlayer.java:104: cannot find symbol
    [javac] symbol  : variable MIDI_DEVICE_LOCATOR
    [javac] location: class javax.microedition.media.Manager
    [javac]         return Manager.createPlayer( Manager.MIDI_DEVICE_LOCATOR );
    [javac]                                             ^


What version of the product are you using? On what operating system?

microemulator-2.0.4.zip
Ubuntu Linux 12.04

Please provide any additional information below.

I think it oughta be there.

http://docs.oracle.com/cd/E17412_01/javame/config/cldc/opt-pkgs/api/mm/jsr135/in
dex.html

This code compiles under the JSR 135 implementation of WTK 2.5.2,
and runs correctly on Nokia with Symbian S60 v3.

I see the code for the library had the symbol, but it is commented out.  This I 
think is wrong.  Instead, the symbol should be defined, and 
Manager.createPlayer() should throw a MediaException, if no Player can be 
created for the locator.  (The API spec does not guarantee that the 
implementation can create such a player.)

Of course it would be preferable for it to create a MIDI player.  That is a 
major part of the functionality of my project.

Original issue reported on code.google.com by Stevan.W...@gmail.com on 6 Aug 2012 at 10:52