public static String classDescriptor(String name) {
		// The name of the class may arrive as the name of the class file
		// in which in resides. In this case, we should remove the .class
		// file extension.
		if (name.endsWith(".class")) {
			name = name.substring(0, name.lastIndexOf('.'));
		}

		name = name.replace('.', '/');

		if (name.charAt(0) == Type.ARRAY_CHAR) {
			return name;
		}

		return Type.CLASS_CHAR + name + ";";
	}