}
final StringBuilder buffer = new StringBuilder(128);
buffer.append("\n<p><font size=\"-1\">");
for (int i=0; i<tags.length; i++) {
final Tag tag = tags[i];
File file = tag.position().file();
module = file.getName();
while (file != null) {
file = file.getParentFile();
if (file.getName().equals("src")) {
file = file.getParentFile();