java-awt-component.ads:638:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:640:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:642:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:644:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:646:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:648:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:650:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:653:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:677:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:748:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:750:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:752:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:754:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:756:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:758:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:760:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:763:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:772:04: warning: unrecognized pragma "java_synchronized"
java-awt-component.ads:774:04: warning: unrecognized pragma "java_synchronized"
javax-swing-jcomponent.ads:460:04: warning: unrecognized pragma "java_synchronized"
javax-swing-jcomponent.ads:462:04: warning: unrecognized pragma "java_synchronized"
javax-swing-jcomponent.ads:525:04: warning: unrecognized pragma "java_synchronized"
javax-swing-jcomponent.ads:527:04: warning: unrecognized pragma "java_synchronized"
java-awt-container.ads:227:04: warning: unrecognized pragma "java_synchronized"
java-awt-container.ads:263:04: warning: unrecognized pragma "java_synchronized"
java-awt-container.ads:266:04: warning: unrecognized pragma "java_synchronized"
java-lang-string.ads:284:04: warning: unrecognized pragma "java_final"
java-awt-frame.ads:120:04: warning: unrecognized pragma "java_synchronized"
java-awt-frame.ads:127:04: warning: unrecognized pragma "java_synchronized"
java-awt-frame.ads:129:04: warning: unrecognized pragma "java_synchronized"
java-awt-frame.ads:133:04: warning: unrecognized pragma "java_synchronized"
java-awt-frame.ads:135:04: warning: unrecognized pragma "java_synchronized"
java-awt-window.ads:120:04: warning: unrecognized pragma "java_synchronized"
java-awt-window.ads:138:04: warning: unrecognized pragma "java_synchronized"
java-awt-window.ads:140:04: warning: unrecognized pragma "java_synchronized"
peer-filefilter.ads:44:10: warning: type of argument "New_Filefilter.Description" is unconstrained array
peer-filefilter.ads:44:10: warning: foreign caller must pass bounds explicitly
java-util-hashtable.ads:118:04: warning: unrecognized pragma "java_synchronized"
java-util-hashtable.ads:120:04: warning: unrecognized pragma "java_synchronized"
java-util-hashtable.ads:122:04: warning: unrecognized pragma "java_synchronized"
java-util-hashtable.ads:124:04: warning: unrecognized pragma "java_synchronized"
java-util-hashtable.ads:127:04: warning: unrecognized pragma "java_synchronized"
java-util-hashtable.ads:130:04: warning: unrecognized pragma "java_synchronized"
java-util-hashtable.ads:132:04: warning: unrecognized pragma "java_synchronized"
java-util-hashtable.ads:134:04: warning: unrecognized pragma "java_synchronized"
java-util-hashtable.ads:138:04: warning: unrecognized pragma "java_synchronized"
java-util-hashtable.ads:140:04: warning: unrecognized pragma "java_synchronized"
java-util-hashtable.ads:142:04: warning: unrecognized pragma "java_synchronized"
java-util-hashtable.ads:145:04: warning: unrecognized pragma "java_synchronized"
java-util-hashtable.ads:148:04: warning: unrecognized pragma "java_synchronized"
java-lang-system.ads:93:04: warning: unrecognized pragma "java_final"
java-lang-system.ads:114:04: warning: unrecognized pragma "java_synchronized"
