PrettyJavaWriter {

  /*public static void main(String[] args) (@
    PJ pj = new PJ(System.out);
    BufferedReader br = new BufferedReader(new InputStreamReader(System.in));

    try {
      for(;;) {
	pj.print(br.readLine());
	pj.flush();
      }
    } catch(IOException e) {
      System.out.println(e);
    }

    //pj.print("class C { {int x;\n\n} int y; } ");
    //pj.print("{ for(int i=0;i<10;i++) { f();} }");
    //pj.print("\"this>>  \\\"  << is a quote\n\"");
    //pj.flush();
  @)*/

  (@
   private int tabin, indent, parendepth;
   private boolean instring, inchar, linebegin, escape;
   private String TAB = "  ";
   @)

  // Get rid of generated super()
  init (@ super(System.out); @)

  (@
  public PrettyJavaWriter(OutputStream out) {
    super(out);
    tabin = indent = parendepth = 0;
    instring = inchar = escape = false;
    linebegin = true;
  }

  public PrettyJavaWriter(Writer out, boolean flush) {
    super(out, flush);
    tabin = indent = parendepth = 0;
    instring = inchar = escape = false;
    linebegin = true;
  }
  @)

  public void print(char c) (@
    print(String.valueOf(c));
  @)

  public void print(String s) (@
    StringBuffer sb = new StringBuffer();
    for(int i=0;i<s.length();i++) {
      char c = s.charAt(i);

      if(!instring && !inchar && Character.isWhitespace(c)) {
	c = ' ';
	while(i < s.length() &&
	      Character.isWhitespace(s.charAt(i))) i++;
	i--;
      }
      switch(c) {
      case '\'':
	testLineBegin(sb);
	if(inchar) {
	  if(!escape) inchar = false;
	  else escape = false;
	}
	else if(instring) {}
	else inchar = true;
	append(sb, "'");
	break;
      case '"':
	testLineBegin(sb);
	if(instring) {
	  if(!escape) instring = false;
	  else escape = false;
	}
	else if(inchar) {}
	else instring = true;
	append(sb, "\"");
	break;
      case '\\':
	testLineBegin(sb);
	if(instring || inchar) escape = !escape;
	append(sb, "\\");
	break;
      case '\n':
	if(instring || inchar) throw new RuntimeException("Newline found in string or character");
	append(sb, "\n");
	break;
      case ' ':
	if(!linebegin) append(sb, " ");
	break;
      case '{':
	testLineBegin(sb);
	append(sb, "{\n");
	tabin++;
	linebegin = true;
	break;
      case '}':
	tabin--;
	if(!linebegin) {
	  append(sb, "\n");
	  linebegin = true;
	}
	for(int j=0;j<tabin;j++) append(sb, TAB);
	append(sb, "}\n");
	break;
      case '(':
      case '[':
	testLineBegin(sb);
	parendepth++;
	append(sb, String.valueOf(c));
	break;
      case ')':
      case ']':
	testLineBegin(sb);
	parendepth--;
	append(sb, String.valueOf(c));
	break;
      case ';':
	testLineBegin(sb);
	linebegin = false;
	if(parendepth==0) {
	  append(sb, ";\n");
	  linebegin = true;
	}
	else append(sb, ";");
	break;
      default:
	testLineBegin(sb);
	escape = false;
	append(sb, String.valueOf(c));
      }
    }
    super.println(sb);
  @)

  public void println(String s) (@ print(s+" "); @)

  private void append(StringBuffer sb, String s) (@
    sb.append(s);
    indent+=s.length();
  @)

  private void testLineBegin(StringBuffer sb) (@
    if(linebegin) {
      for(int j=0;j<tabin;j++) append(sb, TAB);
      linebegin = false;
    }
  @)
}