Eclipse plugin for DrJava project repositories