checked PHP - Java cross compatibility