The Joe-E verifier for Eclipse There's only one feature, and it's in this category