First- many thanks to all for your help. The problem was that my computer was putting the Arduino on virtual port 15, but the software saw it on port 6. I'm still not sure why this happened, but manually setting the software to port 15 solved the problem. I blame Windows.