Talk:CompileProtege4InEclipseFromSvn

4a choose Protege from debug

This option was not available, so I had to use 4b initially. I then went back and realized I didn't have the Eclipse plugin development tools installed. After installing those and opening a fresh copy of the code checked out from the repository, I then had the Protege option from the run menu and it worked.