Patent case against GNOME resolved