clone from http://git.eclipse.org/gitroot/mihini/org.eclipse.mihini.git