jav.compilation variety censored def