public PrecedencePredicate(int precedence) {this.precedence = precedence;}

public PrecedencePredicate ( int precedence ) { this . precedence = precedence ; }
public PrecedencePredicate(int precedence){this.precedence = precedence;}
