Code dump from the IDE in May 2013