aggiunte java_options