My fixes and improvements to Eclipse's Mihini project