prevent warning
moved non-root classes to aux
moved non-root classes to aux
moved non-root classes into aux
Merge branch 'master' of github.com:LibertyEiffel/Liberty