I know Java programs can be machine-translated into SafeD from http://www.digitalmars.com/d/2.0/safed.html. But what's the difference between SafeD and Java?