EOF top-level property

string EOF
final

Implementation

final string EOF = string("\n\n\n");