JPHPException.java

package php.runtime.exceptions;

public interface JPHPException {
}