}
public String getIconFileName() {
if (new File(CloverPublisher.getCloverReportDir(project), "index.html").exists())
return "graph.gif";
else if (new File(CloverPublisher.getCloverReportDir(project), "clover.pdf").exists())
<BUG>return "graph.gif";
else</BUG>
return null;
}
public String getDisplayName() {

}
public String getIconFileName() {
if (new File(CloverPublisher.getCloverReportDir(project), "index.html").exists())
return "graph.gif";
else if (new File(CloverPublisher.getCloverReportDir(project), "clover.pdf").exists())
return "graph.gif";
else if (new File(CloverPublisher.getCloverReportDir(project), "clover.xml").exists())
return "graph.gif";
else
return null;
}
public String getDisplayName() {
