javadoc für Time.java