Package at.jku.ssw.fp.sect04_2.imp