java_binary= now added by default to all new servers so that it gets visibility all the time.
It shouldn’t be hard to add this to the webui, but I’ll want to do some exploration because it’ll change the balance of the webui and I want to get it done correctly.