StringLiteral -> StringLiteral1 to avoid name clashes with standard Java