Source of IKVM

- IKVM.NET
--  http://sourceforge.net/projects/ikvm/files/

- Introducing Java type provider
--  http://colinbul.wordpress.com/2013/11/24/introducing-java-type-provider/