Original commit message from CVS: etc
Original commit message from CVS: New dxr3 plugins from Martin Soto <soto@informatik.uni-kl.de>