Oracle is laying off almost 500 employees in Washington.