java, index of maximum element in array

public static int maximum(double[] a){
  double max = a[0];
  int position = 0;
  for (int i = 1; i < a.length; i++) {
    if (a[i] > max) {
      max = a[i];
      position = i;
    }
  }
  return position;
}

//DONE.

>>5
Your next objective: get this included in the PHP standard library.