add an XOR border to selected entities to improve visibility
switched to IdentityHash{Map,Set}; implemented ctrl+lasso
to expand selection
add detection of broken OpenJDK based on bad font metrics
Merge remote-tracking branch 'work/master'
when exporting to PNG, temporarily turn off selection