MySQL server and petclinic for MySQL