Como retornar a média dos valores dos elementos de um vetor de inteiros na linguagem Java

package arquivodecodigos;

public class Estudos{
  public static void main(String[] args){
    int[] valores = new int[5];
  
    // inicializa os elementos do vetor
    valores[0] = 23;
    valores[1] = 65;
    valores[2] = 2;
    valores[3] = 87;
    valores[4] = 34;
     
    // obtém a média
    double media = media(valores);
     
    System.out.println("A media dos valores é: " + media);
   
    System.exit(0);
  }
 
  // método que recebe um vetor de ints e retorna a média
  // dos valores de seus elementos
  public static double media(int[] a){
    double total = 0.0;
    for(int i = 0; i < a.length; i++){
      total += a[i];  
    }
     
    return (total / a.length);
  }
}