Fix for issue #162: NPE in TernFileSynchronizer

This commit should fix the issue.