From 009a638c9a4a6b79d78f92e5674a25c9266b6a42 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Wed, 20 Dec 2017 15:27:39 +0100
Subject: [PATCH] FC ohne java.lang generieren

---
 src/de/dhbwstuttgart/core/JavaTXCompiler.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/de/dhbwstuttgart/core/JavaTXCompiler.java b/src/de/dhbwstuttgart/core/JavaTXCompiler.java
index bac09f8b..2abd8b9d 100644
--- a/src/de/dhbwstuttgart/core/JavaTXCompiler.java
+++ b/src/de/dhbwstuttgart/core/JavaTXCompiler.java
@@ -83,6 +83,7 @@ public class JavaTXCompiler {
         //Alle Importierten Klassen in allen geparsten Sourcefiles kommen ins FC
         for(SourceFile sf : this.sourceFiles.values()) {
             //allClasses.addAll(getAvailableClasses(sf));
+            allClasses.addAll(sf.getClasses());
         }
 
         final ConstraintSet<Pair> cons = getConstraints();