formal methods

This plugin provides techniques to sort methods in Java-classes, aiming to increase the readability of the source code. Use To sort methods in the active Java editor: open a Java...