Add version 2.4.4 release notes

documentation/releasenotes/ReleaseNotes_2.4.4.md

@@ -0,0 +1,39 @@
+
+# [Overture 2.4.4 - Release Notes - 02 December 2016](https://github.com/overturetool/overture/milestones/2.4.4)
+
+
+
+## What's New?
+
+
+This release contains some improvements to the Java code generator, and some fixes to the VDMUtil standard library.
+
+## Reporting Problems and Troubleshooting
+
+Please report bugs, problems, and other issues with the tool at <https://github.com/overturetool/overture/issues>.
+
+If you encounter a problem with the Overture IDE itself, please contact the Overture project and we will try to help.  You can contact us at info@overturetool.org, or use [StackOverflow](http://stackoverflow.com/questions/tagged/vdm%2b%2b) — we monitor for questions using the `vdm`, `vdm++`, or `vdmrt` tags.
+
+If you encounter a problem with a VDM specification, please try to make a small example that illustrates the problem before you contact us.  If you are sure the bug is not already known in the GitHub issues list, you can create a new bug report.
+
+
+## Other Resources and Links
+
+* [Overture Community site](http://www.overturetool.org)
+* [VDM-10 Language Manual](http://raw.github.com/overturetool/documentation/master/documentation/VDM10LangMan/VDM10_lang_man.pdf)
+* [VDM Tutorials](http://overturetool.org/documentation/tutorials.html)
+* [VDM Examples](http://overturetool.org/download/examples/)
+* [Wikipedia on VDM](http://en.wikipedia.org/wiki/Vienna_Development_Method)
+* [Overture Developers Wiki on GitHub](https://github.com/overturetool/overture/wiki/)
+* [The Old Overture Wiki for developers](http://wiki.overturetool.org)
+
+
+## Bugfixes
+
+Please note that the interactive list is at <https://github.com/overturetool/overture/milestones/2.4.4>
+* [#607 closed - Easy access to the language manual](https://github.com/overturetool/overture/issues/607)
+* [#606 closed - Add limited Java code generation support for multiple inheritance](https://github.com/overturetool/overture/issues/606)
+* [#605 closed - Tempo example does not run on Windows](https://github.com/overturetool/overture/issues/605)
+* [#602 closed - Copyright notice needs to be updated](https://github.com/overturetool/overture/issues/602)
+* [#586 closed - VDMUtil`seq_of_char2val cannot parse record type](https://github.com/overturetool/overture/issues/586)
+* [#571 closed - Enable Tempo plotting library feature](https://github.com/overturetool/overture/issues/571)