new code_data_ConstructionException( message, // java.lang.String args, // code.data.DataType[Any] cause, // scala.Option[java.lang.Exception] )