public void jumpLabel(String label) throws IOException {
  printer.println(indent + label + ":");
}

public void jumpLabel ( String label ) throws IOException { printer . println ( indent + label + ":" ) ; }
description of the method
