public boolean isFileNameUnique(String filename) {
		for (int i = 0, limit = openDocuments.size(); i < limit; i++) {
			if (PlatformCompatibility.areFilenamesEquivalent(filename, getDocument(i).getFileName())) {
				return false;
			}
		}
		
		return true;
	}