ferent programming languages. BinNavi scripts are preferably written 
		in Python or Ruby (using the Jython and JRuby extensions respectively) 
		while BinNavi plugins are preferably written in Java, Python (Jython), 
		or Ruby (JRuby).</p>
		<p>In theory it is also possible to write BinNavi scripts and plugins in 
		more exotic languages ranging from Groovy to Haskell or Scheme and all 
		other languages mentioned on the
		<a href="https://scripting.dev.java.net/">Java Scripting website</a>. 
		However, th