public String getFullTitle() {
		StringBuilder buffer = new StringBuilder();
		if (mDockable instanceof Saveable) {
			if (((Saveable) mDockable).isModified()) {
				buffer.append('*');
			}
		}
		buffer.append(mDockable.getTitle());
		return buffer.toString();
	}