public final String getTitle() {
		final Set<String> set = new HashSet<>(this.titles.values());
		if (set.isEmpty()) {
			return this.file.getFilename().replaceFirst("\\.abc", "");
		}
		if (set.size() == 1) {
			return set.iterator().next();
		}
		System.out.println("no global title");
		final Iterator<String> iter = set.iterator();
		String ret = iter.next();
		while (iter.hasNext()) {
			final String next = iter.next();
			if (next.length() < ret.length()) {
				ret = next;
			}
		}
		return ret.trim();
	}