Internal interfaces labled as undecidable due to java.lang.reflect.Proxy dynamic code generation