lgtm,codescanning

• Models for java.util.Optional added. This may lead to more results whenever a data-flow path involves this type.