public static Object[] make_vector( int n, Object init ) { Object[] r = new Object[n]; for ( int i= 0 ; i < n ; ++i ) r[i]= init; return r; }