tenth commit - last commit before submission, for real this time

src/main/java/nl/utwente/di/ResourceHandler.java

@@ -17,9 +17,9 @@ public class ResourceHandler {
             InputStream stream = new FileInputStream(file);
             StringBuilder builder = new StringBuilder();
             try (Reader reader = new BufferedReader(new InputStreamReader(stream, StandardCharsets.UTF_8))) {
-                int c;
-                while (-1 != (c = reader.read())) {
-                    builder.append((char) c);
+                int ch;
+                while (-1 != (ch = reader.read())) {
+                    builder.append((char) ch);
                 }
             }
             content = builder.toString();