JML UI

This package contains the UI contributions of the OpenJML plugin.