cleanup
second constructor instead of a factory method
private visibility
feature table with buttons
handle empty list (do not disable buttons/fields)
retrieve proof feature definitions from proof store
basic dialogs to add a new proof feature (and select/create a proof definition)
edit button for features
better rendering of feature definition item