JUVENCIUS, Josephus