Retourner le nombre de ligne d'un fichier txt

int nombre = 0;

while((ligne = tampon.readLine()) != null) {
    System.out.println(ligne);
    
    ++nombre;
}

System.out.println(nombre);

package test;



import java.io.BufferedReader;
import java.io.FileInputStream;
import java.io.InputStreamReader;
import java.util.ArrayList;
import java.util.List;

import jade.core.AID;
import jade.core.Agent;
import jade.core.behaviours.OneShotBehaviour;
import jade.core.behaviours.CyclicBehaviour;
import jade.lang.acl.ACLMessage;
import test.LectureFichier1;


@SuppressWarnings("serial")
public class Coordinateur extends Agent{


    
	protected void setup() {
		

		
		{

	addBehaviour(new OneShotBehaviour(this) 
				{
					public void action() {
				
						 
							ACLMessage msg = new ACLMessage(ACLMessage.INFORM);
							msg.setContent("demande de véhicule");
					        msg.addReceiver( new AID( "Véhicule", AID.ISLOCALNAME) );

					        try {
								Thread.sleep(1000);
							} catch (InterruptedException e) {
								e.printStackTrace();
							}
					        send(msg);

						 
						ACLMessage reply = receive();
						if (reply!=null) {
							System.out.println(reply.getContent());
						
						}
						block();
					 }
				});
				
		}
		
		
		
		
		
	
		
		}
		

}