... from 'tipps_java' ...