jacks/tests/jls/classes/field-declarations/initialization-of-fields
