private static DistributionType resolvedtype(int s){
    switch(s){
	  case 1: return DistributionType.BETA;       
	                    
	  case 2: return DistributionType.NORMAL;  
		                
	  case 3: return DistributionType.CAUCHY;    
		                
	  case 4: return DistributionType.CHISQUARED; 
		                
	  case 5: return DistributionType.EXPONENTIAL;
		                
	  case 6: return DistributionType.F;          
		                
	  case 7: return DistributionType.GAMMA;      
		                
	  case 8: return DistributionType.LOGNORMAL;   
		                
	  default: return DistributionType.INVALID;           
	}
  }