public void addRevision(String revremark){
  addRevision(System.getProperty("user.name"),revremark);
}

public void addRevision ( String revremark ) { addRevision ( System . getProperty ( "user.name" ) , revremark ) ; }
add a revision , credited to the current user
