Mwai Kibaki, C.G.H. (born 15 November 1931) is a Kenyan politician who was the third President of Kenya, serving from December 2002 until April 2013. Kibaki was previously Vice-President of Kenya for ten years from 1978 to 1988 under President Daniel arap Moi. He also held cabinet ministerial positions in the Kenyatta and Moi governments, including time as minister for Finance (1969-1981) under Kenyatta, and Minister for Home Affairs (1982-1988) and Minister for Health (1988-1991) under Moi. Kibaki served as an opposition Member of Parliament from 1992 to 2002.

President Kibaki was married to Lucy Muthoni from 1961 until her death in 2016. They have four children: Judy Wanjiku, Jimmy Kibaki, David Kagai, and Tony Githinji. They also have four grandchildren: Joy Jamie Marie, Mwai Junior, Krystinaa Muthoni. Jimmy Kibaki did have, so far unsuccessful, designs to be his father's political heir.  In 2004, the media reported that Kibaki has a second spouse, whom he allegedly married under customary law, Mary Wambui, and a daughter, Wangui Mwai. State House in response released an unsigned statement that Kibaki's only immediate family at the time was his then wife, Lucy, and their four children. In 2009, Kibaki, with Lucy in close attendance, held an odd press conference to re-state publicly that he only has one wife. The matter of Kibaki's alleged mistress, and his wife's usually dramatic public reactions thereto, provided an embarrassing side-show during his presidency, with the Washington Post terming the entire scandal as a "new Kenyan soap opera".  Ms. Wambui, the rather popular "other woman", who enjoyed the state trappings of a Presidential spouse and became a powerful and wealthy business-woman during the Kibaki Presidency, frequently drove Lucy into episodes of highly embarrassing very publicly displayed rage. Ms. Wambui, despite opposition from Kibaki's family, led publicly by Kibaki's son, Jimmy, and despite Kibaki's public endorsement and campaign for her opponent, succeeded Kibaki as Member of Parliament for Othaya in the 2013 General Election. In December 2014, Senator Bonny Khalwale stated on KTN's Jeff Koinange Live that President Kibaki had introduced Wambui as his wife.  Kibaki enjoys playing golf and is a member of the Muthaiga Golf Club. He is a practicing and a very committed member of the Roman Catholic Church and attends Consolata Shrines Catholic Church in Nairobi every Sunday at noon.  On 21 August 2016, Kibaki, who was ill, was taken to Karen Hospital and later flown to South Africa for specialized treatment.

Using a quote from the above article, answer the following question: Did they have any children?
They have four children: Judy Wanjiku, Jimmy Kibaki, David Kagai, and Tony Githinji.