Minor java executable fix