--- a/org.eclipse.jdt.core/org/eclipse/jdt/internal/compiler/batch/Main.java	2018-12-28 15:34:38.199154919 +0100
+++ b/org.eclipse.jdt.core/org/eclipse/jdt/internal/compiler/batch/Main.java	2018-12-28 15:34:40.807142257 +0100
@@ -3054,7 +3054,7 @@
  * External API
  */
 protected ArrayList handleClasspath(ArrayList classpaths, String customEncoding) {
-	final int classpathsSize;
+	int classpathsSize = 0;
 	if ((classpaths != null)
 		&& ((classpathsSize = classpaths.size()) != 0))
 	{