private String formatHostForEdit(DavRepo davRepo) { if (davRepo.getPort() == 80) { return davRepo.getHostName(); } else { return davRepo.getHostName() + ":" + davRepo.getPort(); } }