use more recent version from git even there is no new release.
Github master has many serious bugs fixed. For example ArrayList of the current version is completely broken, but is already fixed on git.
3
votes

Github master has many serious bugs fixed. For example ArrayList of the current version is completely broken, but is already fixed on git.