Bugfix: fix non-short-curcuit logic
Add code comments
Bugfix: remove redundant check for null
Rework properties view
Bugfix: don't synchronize on a boolean
Fix bugs and format code
Bugfix: correctly call wait()
Code formatting
Add code comments
Add code comments
Add code comments
Remove redundant null check
Remove redundant null check
Add code comments
Remove redundant code
Code rework and comments
Bugfix: correctly compute relative value of information loss
Simplify, document and format code
(1) Bugfix: correctly compute relative information loss, (2) Clean ups
and comments
Slightly simplify the code