Exibir o maior número de um vetor

Dado valores positivos para um array, imprimimos com a fórmula abaixo o maior número entre os valores do array.

public class ExibirMaiorNumeroVetor {
 public static void main(String[] args) {
 
  int a[] = {9,4,6,3,1,0,8};
  int aux=-1;
  
  for (int i = 0; i < a.length; i++) {
   if(a[i] > aux){
    aux = a[i];
   }
  }
  
  System.out.println(aux);
  
 }
}