little shortcut for switching faster back and forth between Java and Android modes
minimising the cross-talk between two clients
making the "scale" slider fully operational