public java.lang.String refundCreditCard(
     orderdata.CustomerType customer, java.lang.String creditcard, double amount) {
   System.out.println(
       String.format(
           "refundCeditCard(customer id = %s, creditcard number = %s, amount = %f)",
           customer.getName(), creditcard, amount));
   return "payment refunded";
 }
 public java.lang.String debitCreditCard(
     orderdata.CustomerType customer, orderdata.CreditcardType creditcard, double amount) {
   System.out.println(
       String.format(
           "debitCeditCard(customer id = %s, creditcard number = %s, amount = %f)",
           customer.getName(), creditcard.getNumber(), amount));
   return "ok";
 }