net.sf.gapt
This plugin has 0 DANs