Arduino uses RXTX (http://www.rxtx.org/) for its serial communication and port enumeration, so it might be best to make this suggestion to them. We can always patch their code, of course, but that can get messy, especially for people on Linux who might be installing it themselves. It's definitely a good suggestion though - port enumeration (and detection of the Arduino) is one of those things that we should be doing better.