Working on it.
fixed in java-gui-branch.
All of these are all fixed in 4.0.0 by the merge of the gui branch.