> On a bit of a tangent, how do I remove a library from the repos? I'd > like to remove the api jar file again, but I can't find out how. I > assume it's a problem with my looking, so, as usual, any help will be > appreciated.
I'll answer my own question: after shutting down the server, I deleted the directory that contained the JAR file in the repository. After restarting, it was gone as desired....
