package java.types;

typedef Char16 = java.StdTypes.Char16;