Revert PyJavaType.java changes in 7a70d824e7bd.

This file was included accidentally (evidently by the project,
and not by the apparent author of the change set).