Logical Java