private static void writeInterfaceNames(final ClassEditor ce,
			final DataOutputStream dos) throws IOException {

		// Sort interfaces by name
		final SortedSet sorted = new TreeSet();

		final Type[] interfaces = ce.interfaces();
		for (int i = 0; i < interfaces.length; i++) {
			sorted.add(interfaces[i].className().replace('/', '.'));
		}

		final Iterator iter = sorted.iterator();
		while (iter.hasNext()) {
			final String name = (String) iter.next();
			dos.writeUTF(name);
		}

	}