my $javanext = <<'FROG';