// ArrayList<String> 轉 String[]
String[] trans(ArrayList<String> als){
String[] sa=new String[als.size()];
als.toArray(sa);
return sa;
}
// String[] 轉 ArrayList<String>
ArrayList<String> trans(String[] sa){
ArrayList<String> als=new ArrayList<String>(0);
for(int i=0;i<sa.length;i++){
als.add(sa[i]);
}
return als;
}