use System.arraycopy for StrategoTuple.getAllSubterms()