non case-sensitive replace

ireplace.java

	/**
	 * non case-sensitive replace()
	 * @param text to be changed text
	 * @param alt this text is to be replaced
	 * @param neu replace by this text
	 * @return text with replaced alt
	 */
	public static String ireplace(final String text, final String alt, final String neu) {
		return text.replaceAll("(?i)" + alt.replace("{", "\\{").replace("}", "\\}"), neu);
	}