Merge: android: click event on button release, better errors and safer `JavaString...