G'day all. Quoting Don Stewart <dons at galois.com>: > We promise both safety and efficiency. We also provide (though don't promise) modularity, robustness and correctness, which is not something that Java gives you out of the box. Cheers, Andrew Bromage