From 2973ddaddd7fa9e6b51fe47225b52ae99a7663ca Mon Sep 17 00:00:00 2001
From: Gintas Grigelionis <gintas@apache.org>
Date: Wed, 28 Feb 2018 20:26:50 +0100
Subject: [PATCH] Adjust formatting

---
 manual/tutorial-tasks-filesets-properties.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/manual/tutorial-tasks-filesets-properties.html b/manual/tutorial-tasks-filesets-properties.html
index 88f46d951..ac9a80b88 100644
--- a/manual/tutorial-tasks-filesets-properties.html
+++ b/manual/tutorial-tasks-filesets-properties.html
@@ -477,7 +477,7 @@ reuse later (<strong>*3</strong>).
             for (File includedFile : path.list()) {
                 String filename = includedFile.replace('\\','/');
                 filename = filename.substring(filename.lastIndexOf("/")+1);
-                if (file.equals(filename) &amp;&amp; <b>!foundFiles.contains(includedFile)</b>) {   // 1
+                if (file.equals(filename) &amp;&amp; <b>!foundFiles.contains(includedFile)</b>) {  // 1
                     foundFiles.add(includedFile);
                 }
             }
@@ -485,16 +485,16 @@ reuse later (<strong>*3</strong>).
 
         // create the return value (list/single)
         String rv = null;
-        if (!foundFiles.isEmpty()) {                                                 // 2
+        if (!foundFiles.isEmpty()) {                                                // 2
             if (delimiter == null) {
                 // only the first
                 rv = foundFiles.get(0);
             } else {
                 // create list
                 StringBuilder list = new StringBuilder();
-                for (String file : foundFiles) {                                     // 3
+                for (String file : foundFiles) {                                    // 3
                     list.append(it.next());
-                    if (<b>list.length() > 0</b>) list.append(delimiter);                    // 4
+                    if (<b>list.length() > 0</b>) list.append(delimiter);                  // 4
                  }
                 rv = list.toString();
             }