./devtools/SmallEiffel-0.91/input/SmallEiffel.pkg
./devtools/SmallEiffel-0.91/input/SmallEiffel.cmpnt