<https://technology.amis.nl/software-development/java/jdeveloper-10135-released/#article>
<http://schema.org/headline>
"JDeveloper 10.1.3.5 released"
<https://technology.amis.nl/software-development/java/jdeveloper-10135-released/>