release net.jangaroo.idea.0.9 version 0.25