pico:
But another possible culprit is the behavior of the RXTXcomm.jar serial driver for Java used by the Arduino IDE.
I disagree. The evidence presented on that page indicates "SUMP Java Client" is the culprit. In that situation, RXTXcomm.jar is just the route to the serial port.