public static void disposeall(GL gl) {
		Collection<Integer> dc;
		synchronized (disposed) {
			dc = disposed.get(gl);
			if (dc == null)
				return;
		}
		synchronized (dc) {
			if (dc.isEmpty())
				return;
			int[] da = new int[dc.size()];
			int i = 0;
			for (int id : dc)
				da[i++] = id;
			dc.clear();
			gl.glDeleteTextures(da.length, da, 0);
		}
	}