* (AadlBaNameResolver.java):
   - Fix bug when parsing property without default value defined.

* (aadlBaTest007.aadl):
   - Add tests for properties without default value defined.