CREATE OR REPLACE AND compile
java SOURCE named "RandomUUID"
AS
public class RandomUUID
{
  public static String CREATE()
  {
    RETURN java.util.UUID.randomUUID().toString();
  }
}