Upgraded JaVers, removed ugly workaround to previous JaVers version bug