Added official distrib of openxava 4.9