Adding DisjunctSize.java