public static String trimExtension(String text, String separator) {
		int index = text.lastIndexOf(separator);
		if (index == -1) {
			return text;
		} else {
			return text.substring(0, index);
		}
	}