Changed datatype for PK id in aircraft to int and added new tests for new getter method.