Generate Java code for property types and constants

[lwrage]

Summary

To simplify the implementation of analyses we need to provide a better way to access property values.