weechat 0.4.2, java_opts