Issue #162: NPE in TernFileSynchronizer