Type-safe access to Java system properties