I had not heard of Fortress before. It seems that Oracle's sponsorship of the project ended in 2012. Guy Steele emphasizes the difficulty of implementing Fortress's type system on virtual machines. [1]

[1]: https://blogs.oracle.com/projectfortress/entry/fortress_wrap...