[PPL-devel] Bogus warnings in last CVS version of Doxygen