with java.lang; use java.lang; with java.lang.String; use java.lang.String; package java.net.URLEncoder is function encode( s : String_Ptr) return String_Ptr; pragma Import(Java, encode); end java.net.URLEncoder;