(ZoneId.of("Europe/Madrid")); + String lasModified = DateTimeFormatter.ofPattern("d MMM HH:mm").format(date); + String name = path.getFileName().toString(); + return String.format("%s%s %16s %10s %5d %12s %s", type, permissions, owner, group, size, lasModified, name); + } ...