Bug 265425 [Workbench] Finalize API for Platform constants in org.eclipse.jface.util.Util
bundles/org.eclipse.jface/src/org/eclipse/jface/util/Util.java
}
		}
		if (beginIndex<len) {
			buf.append(src.substring(beginIndex, (idx==-1?len:idx)));
		}
		return buf.toString();
	}
	
	
	
	
	
	/**
	 * <b>Note:</b> this may be made internal in 3.5
	 * @since 3.5
	 */
	public static final String WS_WIN32 = "win32";
	/**
	 * <b>Note:</b> this may be made internal in 3.5
	 * @since 3.5
	 */
	public static final String WS_MOTIF = "motif";
	/**
	 * <b>Note:</b> this may be made internal in 3.5
	 * @since 3.5
	 */
	public static final String WS_GTK = "gtk";
	/**
	 * <b>Note:</b> this may be made internal in 3.5
	 * @since 3.5