yesterday, i added updated versions of Andre Kaplan's Clipper and
WhiteSpace plugins. these packages have updated makefile.jmk's to fix the
case of the JAR file names, allowing PluginManager to remove/update them
on case-sensitive operating systems. Clipper 0.7.3 and WhiteSpace 0.1.2
are now available at Plugin Central.
p.s. if you are using a case sensitive operating system, you will have to
delete any old copies of these plugins manually before attempting to