CTAN upgrade: javaDVI