jacks/tests/jls/classes/constructor-declarations/default-constructor
