EXPLORANDO_JAVA_DEF