Update BooleanAlgebra.java