java用正则，将形如"Tue JAN 10 00:00:00 CST 2009“格式的时间转化成年月日yyyy-MM-dd日期格式

以下为js原码：

var month="JANFEBMARAPRMAYJUNJULAUGSEPOCTNOVDEC";
function trim(s){  
   s = s.replace(/^/s+/,"");  
   return s.replace(//s+$/,"");  
}
function changetime(vv){
 //var vv="Tue JAN 10 00:00:00 CST 2009";
 vv=trim(vv);
 var vy=vv.replace(//d{4}/g,'');
 vy=vv.replace(vy,'');
 var vm=vv.replace(/[A-Za-z]{3}/,'');
 var vd=trim(vm).replace(/[A-Za-z]{3}/,'');
 vm=trim(vm).replace(trim(vm).replace(/[A-Za-z]{3}/,''),'');
 vm=month.lastIndexOf(vm.toUpperCase())/3+1;
 vd=trim(vd).replace(trim(vd).replace(//d{2}/,''),'');
 alert(vy+'-'+(vm<10?'0'+vm:vm)+'-'+vd);
 return vy+'-'+(vm<10?'0'+vm:vm)+'-'+vd;
}