fixed #7: added input models for 'java.lang' and 'java.util' packages to ATL launch config