Arduino 1.5 with Arduino USB-RS232 not being reset on download

Clearly IDE 1.5 is a beta release to let people play with their new Due boards and is not suppose to be a replacement for the current production 1.0.3 release for all the other arduino boards. At some future time I'm sure they will roll them together for a single production release for all supported products.

Lefty