EDIT

fix #8943: fix handling of term preferences in combo boxes and code cleaning

fix #8940: the last selected folder of export wizard correctly handled as local preference

code cleaning

fix #8939: fix getIntValue for preference with no db and no local preference

fix #8938: fix proposal provider in namerelationshiptype combo

ref #8931 using https for port 443

fix #8725: show IDinVoc in NamedArea Textfield, add preference to make it configurable

ref #8916 try to fix ConcurrentModificationException by using temporary set

cleanup

adding workbench.xmi to ignored files