AT90USB series ...

As far as I can tell, the current IDE 1.0.1 doesn't support the AT90USB series yet, correct? Are there plans to add these in the future? The reason I ask is because in class, the kids are only allowed to use the IDE to program in. The instructor doesn't cover using applications such as Atmel's AVR Studio or Eclipse. I've been trying to breach that gap for some time now but the course is time-limited so there simply is no time. But today they asked whether they could start using the AT90USB series chips with the IDE and sadly I had to say no. On a one-on-one case, I may help a group of students do that on my own, using AVR Studio, but as a class there's just no way to cover everyone. So, are there cores available that I can install so the IDE could work with them? Has anyone tackled that? What other options are there?

Comments/suggestions?

Check avr-developers.com, see if any cores exist as a starting point.
If so, can create files like maniacbug did for '1284's.

The Teensy++ uses a AT90USB1286 and they have something called Teensyduino software add-on for Arduino Teensyduino - Add-on for Arduino IDE to use Teensy USB development board maybe this will bend to your will.