Preverjanje javanskih rešitev