Resource leak

Apart from whitespace fixes and a compiler warning regarding a raw type, this also fixes a warning regarding a resource leak: readAllToStringAndClose() might close the stream in its current form, but the Java compiler cannot rely on that because the method might change in the future.