Lo que hace ese comando es escribir la variable en donde fue llamado, en PHP lo que haces es así:
<?php echo $Digest; ?>
Todas las variables de PHP empiezan con $, sin excepción.
Respecto a usar tu librería, tendrías que importarla en PHP usando Java Bridge, en el
Manual tienes más información.
Saludos.