Fixed ChangeDistiller so that it works with Java 1.6