Presidente da Guidewire, John Mullen, vende US$ 999.000 em ações