package test.html.pre; public class X13 { /** * "Star" an existing nfm x. * <pre> * start stop * | | * +---+ +---------+ +---------+ +---+ * | |->| x start | | x stop |->| | * +---+ +---------+ +---------+ +---+ * | | | | * | +-----<------+ | * +------>-------------------------+ * </pre> * Frees x. */ void foo() { } }