worked on findbugs bug reporting.
Merge remote-tracking branch 'origin/master'

Conflicts:
	src/main/java/de/htwg_konstanz/in/jca/analyzer/BaseInstructionsAnalysisVisitor.java
	src/main/java/de/htwg_konstanz/in/jca/analyzer/PropConInstructionsAnalysisVisitor.java