principal

Generates a Java principal with a deterministic name.