FIX: unintended side-effect in java-do arguments type checking.