// $Id$

$module "refal.plus.Java";

$func Null = s;