Incorporated Mikael's regexes for checking PIN/PIN-Code/Barcode. Implemented SaveAsMenu and SaveMenu, minor change to bgm.saveGarage, it now takes a file as an argument. Commented methods in OperatorGUI and updated Javadoc.