Merge branch 'develop' into releases/Release_2_11_2_Branch
[jalview.git] / src / jalview / javascript / log4j / spi / OptionHandler.java
1 package jalview.javascript.log4j.spi;
2
3 public interface OptionHandler
4 {
5
6   void activateOptions();
7
8 }