Compatibility

ProR and RMF require at least Java 6 and Eclipse 3.8. Some features of ProR Essentials require Java 7 from Oracle (not openJDK).

formalmind Studio is based on Eclipse Luna (4.4).