eclipse里没readInt这个方法吗

eclipse里没有readInt这个方法吗？
在看外国的java编程课的时候，看到老师说如何从用户那里获取信息。直接就写了
int n1=readInt("enter n1:" );
很惊讶。刚刚用中国的eclipse试了一下，结果没有这个方法，我们的从用户那里
获取信息。都是比较复杂的用Scanner。求大神解释一下。
------解决思路----------------------
网上找的例子，至少得XXX.readInt();这么用吧
直接readInt();的话，估计自己定义内部方法了

import java.io.*;
class ReadInts
{
 public static void main ( String[] args ) 
 {
   String fileName = "intData.dat" ;  
   long sum = 0;

   try
   {      
     DataInputStream instr = 
       new DataInputStream(
         new BufferedInputStream(
           new FileInputStream( fileName ) ) );

     sum += instr.readInt();
     sum += instr.readInt();
     sum += instr.readInt();
     sum += instr.readInt();
     
     System.out.println( "The sum is: " + sum );
     instr.close();
   }
   catch ( IOException iox )
   {
     System.out.println("Problem reading " + fileName );
   }
 }
}

------解决思路----------------------
lz看到的readInt是自己封装的方法
课程没看全快进了吧?