class Foo
{

private int x = 6;

public static void main(String[] args)
{
##BEGIN CHOICE (a = 1)
    int x = 11;
##END CHOICE
  

System.out.println(x);
}

That will at times get translated to:


class Foo
{

private int x = 6;

public static void main(String[] args)
{
   if(pbostruct.a == 1)
   {
    int x = 11;
    } 

  

System.out.println(x);
}

Othertimes it will get translated to:

class Foo
{

private int x = 6;

public static void main(String[] args)
{
    int x = 11;
    
  

System.out.println(x);
}