Jtagice MKII and STK600 in Arduino

I have a couple Teensy++ without bootloaders because I needed the clock out pin. Had to do a chip erase to burn the fuse. Now I'd like to use them with Arduino again. I've failed to locate the original halfkay bootloader. Not sure what other bootloaders might work, so I'll just program with Atmel hardware instead. My only programmers/debuggers are Jtagice MKII and STK600. Both of them are capable of ISP programming as well as JTAG and debugwire. However, they are not listed in programmers.txt. What must be done to add them to the list of supported programmers? It seems silly for me to have to go out and buy an ISP programmer when I have these beauties right here.
I'm willing to put this hardware to work for someone in exchange for helping me configure the IDE to accept them.
Dustin Maki