FOSDEM proposal: Learning about Deep Learning: Applications for OpenJDK/Java Verification